Jody Threet

Learn More
Access control is the cornerstone of information security and integrity, but the semantic diversity of object models makes it di cult to provide a common foundation for access control in objectoriented systems. This paper presents a primitive capability-based access control architecture that can model a variety of authorization policies for object-oriented(More)
PROJECT DESCRIPTION The heterogeneity a n d v olatility of open distributed systems make high assurance security a n elusive goal. One solution is to provide developers with tools for designing and implementing robust object systems with veriiable behavior in open environments (Cleaveland et al., 1 9 9 4). The Meta-Object Operating System Environment(More)
High assurance security is extremely di cult to acheive in distributed computer systems due to their inherent non-determinism and heterogeneity. The practical application of formal methods is the key to high assurance security in open, distributed environments. This paper presents a methodology that applies formal methods within a dual framework to achieve(More)
A hybrid of neural net and branch and bound search techniques for seismic horizon tracking is described in this paper and its results on real as well as synthetic data are shown. Seismic horizon tracking is tracking of reflections from a subsurface bed boundary in processed seismic data. Accurately tracking horizons is important for hydrocarbon exploration.(More)
  • 1