A Medvedev Characterization of Sets Recognized by Generalized Finite Automata. - Oliver Costich (Math. Syst. Theory, 1972)

Analysis of a Storage Channel in the Two-Phase Commit Protocol. - Oliver Costich; Ira S. Moskowitz (CSFW, 1991)

Transaction Processing Using an Untrusted Scheduler in a Multilevel Database with Replicated Architecture. - Oliver Costich (DBSec, 1991)

A classical Automata Approach to Noninterference Type Problems. - Ira S. Moskowitz; Oliver Costich (CSFW, 1992)

Maintaining Multilevel Transaction Atomicity in MLS Database Systems with Kernelized Architecture. - Oliver Costich; Sushil Jajodia (DBSec, 1992)

A Practical Transaction Model and Untrusted Transaction Manager for a Multilevel-Secure Database System. - Myong H. Kang; Oliver Costich; Judith N. Froscher (DBSec, 1992)

A multilevel transaction problem for multilevel secure database systems and its solution for the replicated architecture. - Oliver Costich; John P. McDermott (S&P, 1992)

Maintaining Multilevel Transaction Atomicity in MLS Database Systems with Replicated Architecture. - Oliver Costich; Myong H. Kang (DBSec, 1993)

Using Object Modeling Techniques to Design MLS Data Models. - Myong H. Kang; Oliver Costich; Judith N. Froscher (Security for Object-Oriented Systems, 1993)

A practical approach to high assurance multilevel secure computing service. - Judith N. Froscher; Myong H. Kang; John P. McDermott; Oliver Costich; Carl E. Landwehr (ACSAC, 1994)

Confidentiality in a Replicated Architecture Trusted Database System: A Formal Model. - Oliver Costich; John McLean; John P. McDermott (CSFW, 1994)

The SINTRA Data Model: Structure and Operations. - Oliver Costich; Myong H. Kang; Judith N. Froscher (DBSec, 1994)