default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th CSFW 1993: Franconia, New Hampshire, USA
- 6th IEEE Computer Security Foundations Workshop - CSFW'93, Franconia, New Hampshire, USA, June 15-17, 1993, Proceedings. IEEE Computer Society 1993, 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? CSFW 1993: 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. CSFW 1993: 161
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
