Searching...
Advanced Search
S
SP
1991
1991 IEEE Symposium on Security and Privacy
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
1991 IEEE Symposium on Security and Privacy
Oakland, CA
May 20-May 22
ISBN: 0-8186-2168-0
Table of Contents
null
Message from the Program Chair
(PDF)
pp. v
ABSTRACT
PDF
Conference Committee
(PDF)
pp. vi
ABSTRACT
PDF
Covert Channels I: Chair: D. Kemmerer
An Analysis of Covert Timing Channels
(Abstract)
John C. Wray
pp. 2
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Reducing Timing Charmers with Fuzzy Time
(Abstract)
Wei-Ming Hu
pp. 8
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Toward a Mathematical Foundation for Information Flow Security
(Abstract)
James W. Gray III
pp. 21
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Covert Chanels II - Chair: P. Neumann
Covert Flow Trees: A Technique for Identifying and Analyzing Covert Storage Channels
(Abstract)
Phillip A. Porras
Richard A. Kemmerer
pp. 36
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Storage Channels in Disk Arm Optimization
(Abstract)
Paul A. Karger
John C. Wray
pp. 52
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Models - Chair: J. Jacob
Modeling Nondisclosure in Terms of the Subject-Instruction Stream
(Abstract)
James G. Williams
pp. 64
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Separation Model for Virtual Machine Monitors
(Abstract)
Nancy L. Kelem
Richard J. Feiertag
pp. 78
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Safety Analysis for the Extended Schematic Protection Model
(Abstract)
P.E. Ammann
R.S. Sandhu
pp. 87
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Taxonomy for Information Flow Policies and Models
(Abstract)
Simon N. Foley
pp. 98
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Distributed Systems - Chair: S. Lipner
Intrusion Tolerance in Distributed Computing Systems
(Abstract)
Yves Deswarte
Laurent Blain
Jean-Charles Fabre
pp. 110
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components
(Abstract)
Jim Alves-Foss
Karl Levitt
pp. 122
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Applying a Theory of Modules and Interfaces to Security Verification
(Abstract)
Simons S. Lam
A. Udaya Shankar
Thomas Y.C. Woo
pp. 136
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Protocol Verification - Chair: J. McLean
The Use of Logic in the Analysis of Cryptographic Protocols
(Abstract)
Paul Syverson
, Naval Research Laboratory
pp. 156
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Exploring the BAN Approach to Protocol Analysis
(Abstract)
Einar Snekkenes
, Alcatel Telecom Norway AS
pp. 171
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A System for the Specification and Verification of Key Management Protocols
(Abstract)
Catherine Meadows
, Naval Research Laboratory
pp. 182
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Policy - Chair: E. Boebert
Toward an Approach to Measuring Software Trust
(Abstract)
Ed Amoroso
, AT&T Bell Laboratories
Thu Nguyen
, AT&T Bell Laboratories
Jon Weiss
, AT&T Bell Laboratories
John Watson
, GE Aerospace
Pete Lapiska
, GE Aerospace
Terry Starr
, GE Aerospace
pp. 198
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Onthe Buzzword ??Security Policy??
(Abstract)
Daniel F. Sterne
, Trusted Information Systems, Inc.
pp. 219
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Authentication - Chair: C. Meadows
SPX: Global Authentication Using Public Key Certificates
(Abstract)
Joseph J. Tardo
Kannan Alagappan
pp. 232
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Protecting Security Information in Distributed Systems
(Abstract)
Claus Fritzner
Leif Nilsen
Asmund Skomedal
pp. 245
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Analysis of the Proxy problem in Distributed Systems
(Abstract)
Vijay Varadharajan
Phillip Allen
Stewart Black
pp. 255
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Database Security - Chair: C. Garvey
Microdata Disclosure Limitation in Statistical Databases: Query Sizeand Random Sample Query Control
(Abstract)
George T Duncan
Sumitra Mukherjee
pp. 278
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Discretionary Access Controls in a High-Performance Object Management System
(Abstract)
Udo Kelter
pp. 288
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Novel Decomposition of Multilevel Relations into Single-Level Relations
(Abstract)
Sushil Jajodia
, George Mason University
Ravi Sandhu
, George Mason University
pp. 300
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Intrusion Detection - Chair: T. Lunt
The SRI IDES Statistical Anomaly Detector
(Abstract)
Harold S. Javitz
Alfonso Valdes
pp. 316
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Pattern-Oriented Intrusion-Detection Model and Its Applications
(Abstract)
Shiuhpyng Winston Shieh
pp. 327
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Directed-Graph Epidemiological Models of Computer Viruses
(Abstract)
Jeffrey O. Kephart
Steve R. White
pp. 343
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Information Theory - Chair: J. Millen
Variable Noise Effects Upon a Simple Timing Channel
(Abstract)
Ira S. Moskowitz
pp. 362
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Turing Testand Non-Information Flow
(Abstract)
Randy Browne
pp. 373
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
PANEL:
Information Theory in Computer Security
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
