6. CSFW 1993:
Franconia,
New Hampshire,
USA
6th IEEE Computer Security Foundations Workshop - CSFW'93,
Franconia,
New Hampshire,
USA,
15-17 June 1993,
Proceedings. IEEE Computer Society,
ISBN 0-8186-3950-4
- James W. Gray III:
On Analyzing the Bus-Contention Channel Under Fuzzy Time.
3-9 BibTeX
- Amit G. Mathur, Thomas F. Keefe:
The Concurrency Control and Recovery Problem for Multilevel Update Transactions in MLS System.
10-23 BibTeX
- David Rosenthal:
Modeling Restrictive Processes that Involve Blocking Requests.
27-38 BibTeX
- Jean-Pierre Banâtre, Ciarán Bryce:
Information Flow Control in a Parallel Language Framework.
39-52 BibTeX
- Frédéric Cuppens:
A Logical Formalization of Secrecy.
53-62 BibTeX
- Jaisook Landauer, Timothy Redmond:
A Lattice of Information.
65-70 BibTeX
- James G. Williams, Leonard J. LaPadula:
Automated Support for External Consistency.
71-81 BibTeX
- Mary Ellen Zurko:
Panel: What are the Foundations of Computer Security?
85-95 BibTeX
- Marc Dacier:
A Petri Net Representation of the Take-Grant Model.
99-108 BibTeX
- Ravi S. Sandhu, Srinivas Ganta:
On Testing for Absence of Rights in Access Control Models.
109-118 BibTeX
- Gustavus J. Simmons:
Invited talk: An Introductions to the Mathematics of Trust in Security Protocols.
121-127 BibTeX
- Li Gong:
A Variation on the Themes of Message Freshness and Replay or, the Difficulty in Devising Formal Methods to Analyze Cryptographic Protocols.
131-136 BibTeX
- Pierre Bieber, Nora Boulahia-Cuppens, T. Lehmann, E. van Wickeren:
Abstract Machines for Communication Security.
137-146 BibTeX
- Wenbo Mao, Colin Boyd:
Towards Formal Analysis of Security Protocols.
147-158 BibTeX
- Paul F. Syverson:
Panel: Cryptographic Protocol Models and Requirements.
161 BibTeX
Copyright © Sat May 16 23:04:12 2009
by Michael Ley (ley@uni-trier.de)
