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

Last update Sat May 18 18:19:53 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page