1. Home
  2. Proceedings
  3. SP
  4. SP 1991
Default Cover Image

Proceedings. 1991 IEEE Computer Society Symposium on Research in Security and Privacy

May 20 1991 to May 22 1991

Oakland, CA

ISSN: 1540-7993

ISBN: 0-8186-2168-0

Table of Contents

Message from the Program ChairFreely available from IEEE.pp. v
Conference CommitteeFreely available from IEEE.pp. vi
Covert Channels I: Chair: D. Kemmerer
An Analysis of Covert Timing ChannelsFull-text access may be available. Sign in or learn about subscription options.pp. 2
by John C. Wray
Covert Channels I: Chair: D. Kemmerer
Reducing Timing Charmers with Fuzzy TimeFull-text access may be available. Sign in or learn about subscription options.pp. 8
by Wei-Ming Hu
Covert Channels I: Chair: D. Kemmerer
Toward a Mathematical Foundation for Information Flow SecurityFull-text access may be available. Sign in or learn about subscription options.pp. 21
by James W. Gray III
Covert Chanels II - Chair: P. Neumann
Covert Flow Trees: A Technique for Identifying and Analyzing Covert Storage ChannelsFull-text access may be available. Sign in or learn about subscription options.pp. 36
by Phillip A. Porras, Richard A. Kemmerer
Covert Chanels II - Chair: P. Neumann
Storage Channels in Disk Arm OptimizationFull-text access may be available. Sign in or learn about subscription options.pp. 52
by Paul A. Karger, John C. Wray
Models - Chair: J. Jacob
Modeling Nondisclosure in Terms of the Subject-Instruction StreamFull-text access may be available. Sign in or learn about subscription options.pp. 64
by James G. Williams
Models - Chair: J. Jacob
A Separation Model for Virtual Machine MonitorsFull-text access may be available. Sign in or learn about subscription options.pp. 78
by Nancy L. Kelem, Richard J. Feiertag
Models - Chair: J. Jacob
Safety Analysis for the Extended Schematic Protection ModelFull-text access may be available. Sign in or learn about subscription options.pp. 87
by P.E. Ammann, R.S. Sandhu
Models - Chair: J. Jacob
A Taxonomy for Information Flow Policies and ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 98
by Simon N. Foley
Distributed Systems - Chair: S. Lipner
Intrusion Tolerance in Distributed Computing SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 110
by Yves Deswarte, Laurent Blain, Jean-Charles Fabre
Proceedings. 1991 IEEE Computer Society Symposium on Research in Security and Privacy (Cat. No.91CH2986-8)Freely available from IEEE.pp. 0_1-0_1
Distributed Systems - Chair: S. Lipner
Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 122
by Jim Alves-Foss, Karl Levitt
Distributed Systems - Chair: S. Lipner
Applying a Theory of Modules and Interfaces to Security VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 136
by Simons S. Lam, A. Udaya Shankar, Thomas Y.C. Woo
Protocol Verification - Chair: J. McLean
The Use of Logic in the Analysis of Cryptographic ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 156
by Paul Syverson
Protocol Verification - Chair: J. McLean
Exploring the BAN Approach to Protocol AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 171
by Einar Snekkenes
Protocol Verification - Chair: J. McLean
A System for the Specification and Verification of Key Management ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 182
by Catherine Meadows
Policy - Chair: E. Boebert
Toward an Approach to Measuring Software TrustFull-text access may be available. Sign in or learn about subscription options.pp. 198
by Ed Amoroso, Thu Nguyen, Jon Weiss, John Watson, Pete Lapiska, Terry Starr
Policy - Chair: E. Boebert
Onthe Buzzword ??Security Policy??Full-text access may be available. Sign in or learn about subscription options.pp. 219
by Daniel F. Sterne
Authentication - Chair: C. Meadows
SPX: Global Authentication Using Public Key CertificatesFull-text access may be available. Sign in or learn about subscription options.pp. 232
by Joseph J. Tardo, Kannan Alagappan
Authentication - Chair: C. Meadows
Protecting Security Information in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 245
by Claus Fritzner, Leif Nilsen, Asmund Skomedal
Authentication - Chair: C. Meadows
An Analysis of the Proxy problem in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 255
by Vijay Varadharajan, Phillip Allen, Stewart Black
Database Security - Chair: C. Garvey
Microdata Disclosure Limitation in Statistical Databases: Query Sizeand Random Sample Query ControlFull-text access may be available. Sign in or learn about subscription options.pp. 278
by George T Duncan, Sumitra Mukherjee
Database Security - Chair: C. Garvey
Discretionary Access Controls in a High-Performance Object Management SystemFull-text access may be available. Sign in or learn about subscription options.pp. 288
by Udo Kelter
Database Security - Chair: C. Garvey
A Novel Decomposition of Multilevel Relations into Single-Level RelationsFull-text access may be available. Sign in or learn about subscription options.pp. 300
by Sushil Jajodia, Ravi Sandhu
Intrusion Detection - Chair: T. Lunt
The SRI IDES Statistical Anomaly DetectorFull-text access may be available. Sign in or learn about subscription options.pp. 316
by Harold S. Javitz, Alfonso Valdes
Intrusion Detection - Chair: T. Lunt
A Pattern-Oriented Intrusion-Detection Model and Its ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 327
by Shiuhpyng Winston Shieh
Intrusion Detection - Chair: T. Lunt
Directed-Graph Epidemiological Models of Computer VirusesFull-text access may be available. Sign in or learn about subscription options.pp. 343
by Jeffrey O. Kephart, Steve R. White
Information Theory - Chair: J. Millen
Variable Noise Effects Upon a Simple Timing ChannelFull-text access may be available. Sign in or learn about subscription options.pp. 362
by Ira S. Moskowitz
Information Theory - Chair: J. Millen
The Turing Testand Non-Information FlowFull-text access may be available. Sign in or learn about subscription options.pp. 373
by Randy Browne
Showing 31 out of 31