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
- Amit G. Mathur, Thomas F. Keefe:
The Concurrency Control and Recovery Problem for Multilevel Update Transactions in MLS System.
10-23
- David Rosenthal:
Modeling Restrictive Processes that Involve Blocking Requests.
27-38
- Jean-Pierre Banâtre, Ciarán Bryce:
Information Flow Control in a Parallel Language Framework.
39-52
- Frédéric Cuppens:
A Logical Formalization of Secrecy.
53-62
- Jaisook Landauer, Timothy Redmond:
A Lattice of Information.
65-70
- James G. Williams, Leonard J. LaPadula:
Automated Support for External Consistency.
71-81
- Mary Ellen Zurko:
Panel: What are the Foundations of Computer Security?
85-95
- Marc Dacier:
A Petri Net Representation of the Take-Grant Model.
99-108
- Ravi S. Sandhu, Srinivas Ganta:
On Testing for Absence of Rights in Access Control Models.
109-118
- Gustavus J. Simmons:
Invited talk: An Introductions to the Mathematics of Trust in Security Protocols.
121-127
- 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
- Pierre Bieber, Nora Boulahia-Cuppens, T. Lehmann, E. van Wickeren:
Abstract Machines for Communication Security.
137-146
- Wenbo Mao, Colin Boyd:
Towards Formal Analysis of Security Protocols.
147-158
- Paul F. Syverson:
Panel: Cryptographic Protocol Models and Requirements.
161
Copyright © Tue Nov 17 00:06:35 2009
by Michael Ley (ley@uni-trier.de)
