Software Engineering for Rule-Based Software Systems. - Robert J. K. Jacob; Judith N. Froscher (FJCC, 1986)

Achieving a Trusted Database Management System Using Parallelism. - Judith N. Froscher; Catherine Meadows 001 (DBSec, 1988)

Successful acquisition of certifiable application systems (or: How not to shake hands with the tar baby). - Judith N. Froscher; John P. McDermott; Christian N. Payne; Herman Otto Lubbes (ACSAC, 1990)

Informal top-level specifications for trusted application systems. - John P. McDermott; Judith N. Froscher; Christian N. Payne; Herman Otto Lubbes (ACSAC, 1990)

On models for a trusted application system. - Christian N. Payne; Judith N. Froscher; John P. McDermott (ACSAC, 1990)

A Software Engineering Methodology for Rule-Based Systems. - Robert J. K. Jacob; Judith N. Froscher (IEEE Trans. Knowl. Data Eng., 1990)

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

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)

Architectural impact on performance of a multilevel database system. - Myong H. Kang; Judith N. Froscher; Ravi Mukkamala (ACSAC, 1994)

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

A framework for MLS interoperability. - Myong H. Kang; Judith N. Froscher; Ira S. Moskowitz (HASE, 1996)

An Architecture for Multilevel Secure Interoperability. - Myong H. Kang; Judith N. Froscher; Ira S. Moskowitz (ACSAC, 1997)

Towards an Infrastructure for MLS Distributed Computing. - Myong H. Kang; Judith N. Froscher; Brian J. Eppinger (ACSAC, 1998)

Tools to Support Secure Enterprise Computing. - Myong H. Kang; Brian J. Eppinger; Judith N. Froscher (ACSAC, 1999)

A Multilevel Secure Workflow Management System. - Myong H. Kang; Judith N. Froscher; Amit P. Sheth; Krys J. Kochut; John A. Miller 001 (CAiSE, 1999)

A Strategy for an MLS Workflow Management System. - Myong H. Kang; Judith N. Froscher; Brian J. Eppinger; Ira S. Moskowitz (DBSec, 1999)

A Framework for Secure Enterprise Computing. - Myong H. Kang; Judith N. Froscher (WETICE, 2000)

Access control mechanisms for inter-organizational workflow. - Myong H. Kang; Joon S. Park; Judith N. Froscher (SACMAT, 2001)

A Secure Workflow System for Dynamic Collaboration. - Joon S. Park; Myong H. Kang; Judith N. Froscher (SEC, 2001)

A Tool for Secure Inter-Organizational Computing. - Myong H. Kang; Judith N. Froscher (WETICE, 2001)

Merging paradigms of survivability and security: stochastic faults and designed faults. - John P. McDermott; Anya Kim; Judith N. Froscher (NSPW, 2003)