default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th S&P 1991: Oakland, California, USA
- Proceedings of the 1991 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 20-22, 1991. IEEE Computer Society 1991, ISBN 0-8186-2168-0
- John C. Wray:
An Analysis of Covert Timing Channels. 2-7 - Wei-Ming Hu:
Reducing Timing Channels with Fuzzy Time. 8-20 - James W. Gray III:
Toward a Mathematical Foundation for Information Flow Security. 21-35 - Phillip A. Porras, Richard A. Kemmerer:
Covert Flow Trees: A Technique for Identifying and Analyzing Covert Storage Channels. 36-51 - Paul A. Karger, John C. Wray:
Storage Channels in Disk Arm Optimization. 52-63 - James G. Williams:
Modeling Nondisclosure in Terms of the Subject-Instruction Stream. 64-77 - Nancy L. Kelem, Richard J. Feiertag:
A Separation Model for Virtual Machine Monitors. 78-86 - Paul Ammann, Ravi S. Sandhu:
Safety Analysis for the Extended Schematic Protection Model. 87-97 - Simon N. Foley:
A Taxonomy for Information Flow Policies and Models. 98-109 - Yves Deswarte, Laurent Blain, Jean-Charles Fabre:
Intrusion Tolerance in Distributed Computing Systems. 110-121 - Jim Alves-Foss, Karl N. Levitt:
Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components. 122-135 - Simon S. Lam, A. Udaya Shankar, Thomas Y. C. Woo:
Applying a Theory of Modules and Interfaces to Security Verification. 136-155 - Paul F. Syverson:
The Use of Logic in the Analysis of Cryptographic Protocols. 156-170 - Einar Snekkenes:
Exploring the BAN Approach to Protocol Analysis. 171-181 - Catherine Meadows:
A System for the Specification and Verification of Key Management Protocols. 182-197 - Edward Amoroso, Thu Nguyen, Jonathan Weiss, John Watson, Pete Lapiska, Terry Starr:
Toward an Approach to Measuring Software Trust. 198-218 - Daniel F. Sterne:
On the Buzzword "Security Policy". 219-231 - Joseph J. Tardo, Kannan Alagappan:
SPX: Global Authentication Using Public Key Certificates. 232-244 - Claus Fritzner, Leif Nilsen, Åsmund Skomedal:
Protecting Security Information in Distributed Systems. 245-254 - Vijay Varadharajan, Phillip Allen, Stewart Black:
An Analysis of the Proxy Problem in Distributed Systems. 255-277 - George T. Duncan, Sumitra Mukherjee:
Microdata Disclosure Limitation in Statistical Databases: Query Size and Random Sample Query Control. 278-287 - Udo Kelter:
Discretionary Access Controls in a High-Performance Object Management System. 288-299 - Sushil Jajodia, Ravi S. Sandhu:
A Novel Decomposition of Multilevel Relations into Single-Level Relations. 300-315 - Harold S. Javitz
, Alfonso Valdes:
The SRI IDES Statistical Anomaly Detector. 316-326 - Shiuh-Pyng Shieh, Virgil D. Gligor:
A Pattern-Oriented Intrusion-Detection Model and Its Applications. 327-342 - Jeffrey O. Kephart, Steve R. White:
Directed-Graph Epidemiological Models of Computer Viruses. 343-361 - Ira S. Moskowitz:
Variable Noise Effects Upon a Simple Timing Channel. 362-372 - Randy Brown:
The Turing Test and Non-Information Flow. 373-388
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 2026-07-29 23:07 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
