5. CSFW 1992:
Franconia,
New Hampshire,
USA
5th IEEE Computer Security Foundations Workshop - CSFW'92,
Franconia,
New Hampshire,
USA,
16-18 June 1992,
Proceedings. IEEE Computer Society,
ISBN 0-8186-2850-2
- Ira S. Moskowitz, Oliver Costich:
A classical Automata Approach to Noninterference Type Problems.
2-8 BibTeX
- Sandra Rawlings Murphy, Stephen Crocker, Timothy Redmond:
Unwinding and the LOCK Proof Referees Study.
9-21 BibTeX
- John Graham-Cumming:
Some Laws of Non-Interference.
22-33 BibTeX
- Sylvan Pinsky:
An Algebraic Approach to Non-Interference.
34-47 BibTeX
- Catherine Meadows:
Panel: Fundamental Questions about Formal Methods.
52 BibTeX
- Miranda Mowbray:
Causal Security.
54-62 BibTeX
- Pierre Bieber, Frédéric Cuppens:
Secure Dependencies with Dynamic Level Assignments.
63-75 BibTeX
- Thomas D. Garvey:
Inference Working Group Kickoff: The Inference Problem for Computer Security.
78-81 BibTeX
- E. A. Campbell, Reihaneh Safavi-Naini, P. A. Pleasants:
Partial Belief and Probabilistic Reasoning in the Analysis of Secure Protocols.
84-91 BibTeX
- Claudio Calvelli, Vijay Varadharajan:
An Analysis of some Delegation Protocols for Distributed Systems.
92-110 BibTeX
- Joshua D. Guttman:
Panel: Use of Formal Methods in the Analysis of Cryptographic Protocols.
112 BibTeX
- Paul Helman, Gunar E. Liepins, Wynette Richards:
Foundations of Intrusion Detection.
114-120 BibTeX
- Colin O'Halloran:
On Requirements and Security in a CCIS.
121-134 BibTeX
- Bhavani M. Thuraisingham:
A Non-monotonic Typed Multilevel Logic for Multilevel Secure Data/Knowledge - II.
135-146 BibTeX
- Paul Ammann, Richard J. Lipton, Ravi S. Sandhu:
The Expressive Power of Multi-Parent Creation in a Monotonic Access Control Model.
148-156 BibTeX
- Jaisook Landauer, Timothy Redmond:
A Framework for Composition of Security Models.
157-166 BibTeX
- Jan Verschuren, René Govaerts, Joos Vandewalle:
Realization of the Bell-LaPadula Security Policy in an OSI-Distributed System using Asymmetric and Symmetric Cryptographic Algorithms.
168-178 BibTeX
- Mary Ellen Zurko:
Attribute Support for Inter-Domain Use.
179-188 BibTeX
Copyright © Sat May 16 23:04:12 2009
by Michael Ley (ley@uni-trier.de)
