Jody Threet

Learn More
High assurance security is diicult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical application of formal methods is the key to high assurance security in open, distributed environments. This paper proposes the use of formal methods and a special layered(More)
Access control is the cornerstone of information security and integrity, but the semantic diversity of object models makes it diicult to provide a common foundation for access control in object-oriented 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 and volatility of open distributed systems make high assurance security an 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., 1994). The Meta-Object Operating System Environment (MOOSE) (Hale(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