Oliver Costich

Publication Activity (10 Years)

Years Active: 1972-1994
Publications (10 Years): 0

Publications

Oliver Costich, John McLean, John P. McDermott
Confidentiality in a Replicated Architecture Trusted Database System: A Formal Model. CSFW (1994)
Judith N. Froscher, Myong H. Kang, John P. McDermott, Oliver Costich, Carl E. Landwehr
A practical approach to high assurance multilevel secure computing service. ACSAC (1994)
Oliver Costich, Myong H. Kang, Judith N. Froscher
The SINTRA Data Model: Structure and Operations. DBSec (1994)
Oliver Costich, Myong H. Kang
Maintaining Multilevel Transaction Atomicity in MLS Database Systems with Replicated Architecture. DBSec (1993)
Myong H. Kang, Oliver Costich, Judith N. Froscher
Using Object Modeling Techniques to Design MLS Data Models. Security for Object-Oriented Systems (1993)
Ira S. Moskowitz, Oliver Costich
A classical Automata Approach to Noninterference Type Problems. CSFW (1992)
Oliver Costich, Sushil Jajodia
Maintaining Multilevel Transaction Atomicity in MLS Database Systems with Kernelized Architecture. DBSec (1992)
Myong H. Kang, Oliver Costich, Judith N. Froscher
A Practical Transaction Model and Untrusted Transaction Manager for a Multilevel-Secure Database System. DBSec (1992)
Oliver Costich, John P. McDermott
A multilevel transaction problem for multilevel secure database systems and its solution for the replicated architecture. IEEE Symposium on Security and Privacy (1992)
Oliver Costich, Ira S. Moskowitz
Analysis of a Storage Channel in the Two-Phase Commit Protocol. CSFW (1991)
Oliver Costich
Transaction Processing Using an Untrusted Scheduler in a Multilevel Database with Replicated Architecture. DBSec (1991)
Oliver Costich
A Medvedev Characterization of Sets Recognized by Generalized Finite Automata. Math. Syst. Theory 6 (3) (1972)