New Security Paradigms Workshop '92

• Managing Complexity in Secure Networks, D. Bailey
• New Security Paradigms: What Other Concepts Do We Need as Well?, J. Dobson
• The Multipolicy Paradigm for Trusted Systems, H.H. Hosmer
• An Outline of a Taxonomy of Computer Security Research and Development, C. Meadows
• A New Paradigm for Trusted Systems, D.E. Denning
• New Paradigms for High-Assurance Software, J. McLean
• Confidentiality, Integrity, Assured Service: Tying Security All Together, G.L. Hammonds
• Information System Security Engineering: A Spiral Approach to Revolution, D.M. Howe
• A Shift in Security Modeling Paradigms, J.G. Williams
• Prospect on Security Paradigms, L.J. LaPadula
• Integration of Formal and Heuristic Reasoning as a Basis for Testing and Debugging Computer Security Policy, J.B. Michael, E.H. Sibley, and D.C. Littman
• Secure Computing with the Actor Paradigm, B. Thuraisingham
• Bell and LaPadula Axioms: A "New" Paradigm for and "Old" Model, T.Y. Lin
• Concurrent Automata, Database Computers, and Security: A "New" Security Paradigm for Secure Parallel Processing, T.Y. Lin
• Application Level Security Using an Object-Oriented Graphical User Interface, T. Rooker
• The No-Policy Paradigm: Towards a Policy-Free Protocol Supporting a Secure X Window System, M. Smith