| 2003 | NSPW | Merging paradigms of survivability and security: stochastic faults and designed faults. | John P. McDermott, Anya Kim, Judith N. Froscher |
| 2001 | WETICE | A Tool for Secure Inter-Organizational Computing. | Myong H. Kang, Judith N. Froscher |
| 2001 | SACMAT | Access control mechanisms for inter-organizational workflow. | Myong H. Kang, Joon S. Park, Judith N. Froscher |
| 2001 | SEC | A Secure Workflow System for Dynamic Collaboration. | Joon S. Park, Myong H. Kang, Judith N. Froscher |
| 2000 | WETICE | A Framework for Secure Enterprise Computing. | Myong H. Kang, Judith N. Froscher |
| 1999 | ACSAC | Tools to Support Secure Enterprise Computing. | Myong H. Kang, Brian J. Eppinger, Judith N. Froscher |
| 1999 | CaiSE | A Multilevel Secure Workflow Management System. | Myong H. Kang, Judith N. Froscher, Amit P. Sheth, Krys J. Kochut, John A. Miller |
| 1999 | DBSEC | A Strategy for an MLS Workflow Management System. | Myong H. Kang, Judith N. Froscher, Brian J. Eppinger, Ira S. Moskowitz |
| 1998 | ACSAC | Towards an Infrastructure for MLS Distributed Computing. | Myong H. Kang, Judith N. Froscher, Brian J. Eppinger |
| 1997 | ACSAC | An Architecture for Multilevel Secure Interoperability. | Myong H. Kang, Judith N. Froscher, Ira S. Moskowitz |
| 1994 | ACSAC | A practical approach to high assurance multilevel secure computing service. | Judith N. Froscher, Myong H. Kang, John P. McDermott, Oliver Costich, Carl E. Landwehr |
| 1994 | ACSAC | Architectural impact on performance of a multilevel database system. | Myong H. Kang, Judith N. Froscher, Ravi Mukkamala |
| 1994 | DBSEC | The SINTRA Data Model: Structure and Operations. | Oliver Costich, Myong H. Kang, Judith N. Froscher |
| 1993 | OOPSLA | Using Object Modeling Techniques to Design MLS Data Models. | Myong H. Kang, Oliver Costich, Judith N. Froscher |
| 1992 | DBSEC | A Practical Transaction Model and Untrusted Transaction Manager for a Multilevel-Secure Database System. | Myong H. Kang, Oliver Costich, Judith N. Froscher |
| 1990 | ACSAC | 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 |
| 1990 | ACSAC | Informal top-level specifications for trusted application systems. | John P. McDermott, Judith N. Froscher, Christian N. Payne, Herman Otto Lubbes |
| 1990 | ACSAC | On models for a trusted application system. | Christian N. Payne, Judith N. Froscher, John P. McDermott |
| 1988 | DBSEC | Achieving a Trusted Database Management System Using Parallelism. | Judith N. Froscher, Catherine Meadows |