Judith N. Froscher

Publication Activity (10 Years)

Years Active: 1986-2003
Publications (10 Years): 0

Publications

John P. McDermott, Anya Kim, Judith N. Froscher
Merging paradigms of survivability and security: stochastic faults and designed faults. NSPW (2003)
Myong H. Kang, Judith N. Froscher
A Tool for Secure Inter-Organizational Computing. WETICE (2001)
Myong H. Kang, Joon S. Park, Judith N. Froscher
Access control mechanisms for inter-organizational workflow. SACMAT (2001)
Joon S. Park, Myong H. Kang, Judith N. Froscher
A Secure Workflow System for Dynamic Collaboration. SEC (2001)
Myong H. Kang, Judith N. Froscher
A Framework for Secure Enterprise Computing. WETICE (2000)
Myong H. Kang, Brian J. Eppinger, Judith N. Froscher
Tools to Support Secure Enterprise Computing. ACSAC (1999)
Myong H. Kang, Judith N. Froscher, Amit P. Sheth, Krys J. Kochut, John A. Miller
A Multilevel Secure Workflow Management System. CAiSE (1999)
Myong H. Kang, Judith N. Froscher, Brian J. Eppinger, Ira S. Moskowitz
A Strategy for an MLS Workflow Management System. DBSec (1999)
Myong H. Kang, Judith N. Froscher, Brian J. Eppinger
Towards an Infrastructure for MLS Distributed Computing. ACSAC (1998)
Myong H. Kang, Judith N. Froscher, Ira S. Moskowitz
An Architecture for Multilevel Secure Interoperability. ACSAC (1997)
Myong H. Kang, Judith N. Froscher, Ira S. Moskowitz
A framework for MLS interoperability. HASE (1996)
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)
Myong H. Kang, Judith N. Froscher, Ravi Mukkamala
Architectural impact on performance of a multilevel database system. ACSAC (1994)
Myong H. Kang, Oliver Costich, Judith N. Froscher
Using Object Modeling Techniques to Design MLS Data Models. Security for Object-Oriented Systems (1993)
Myong H. Kang, Oliver Costich, Judith N. Froscher
A Practical Transaction Model and Untrusted Transaction Manager for a Multilevel-Secure Database System. DBSec (1992)
Robert J. K. Jacob, Judith N. Froscher
A Software Engineering Methodology for Rule-Based Systems. IEEE Trans. Knowl. Data Eng. 2 (2) (1990)
John P. McDermott, Judith N. Froscher, Christian N. Payne, Herman Otto Lubbes
Informal top-level specifications for trusted application systems. ACSAC (1990)
Christian N. Payne, Judith N. Froscher, John P. McDermott
On models for a trusted application system. ACSAC (1990)
Judith N. Froscher, John P. McDermott, Christian N. Payne, Herman Otto Lubbes
Successful acquisition of certifiable application systems (or: How not to shake hands with the tar baby). ACSAC (1990)
Judith N. Froscher, Catherine A. Meadows
Achieving a Trusted Database Management System Using Parallelism. DBSec (1988)
Robert J. K. Jacob, Judith N. Froscher
Software Engineering for Rule-Based Software Systems. FJCC (1986)