Searching...
Advanced Search
S
SP
1993
1993 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
1993 IEEE Symposium on Security and Privacy
Oakland, CA
May 24-May 26
ISBN: 0-8186-3370-0
Table of Contents
null
Message from the Program Chairs
(PDF)
pp. v
ABSTRACT
PDF
Conference Committee
(PDF)
pp. vi
ABSTRACT
PDF
Viruses and Intrusion Detection - Session Chair: Doug McIlroy
Measuring and Modeling Computer Virus Prevalence
(Abstract)
Jeffrey O. Kephart
Steve R. White
pp. 2
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
USTAT: A Real-Time Intrusion Detection System for UNIX
(Abstract)
Koral Ilgun
pp. 16
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Causality and Integrity - Session Chair: George Dinolt
Preventing Denial and Forgery of Causal Relationships in Distributed Systems
(Abstract)
Micheal Reiter
Li Gong
pp. 30
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Protocol Design for Integrity Protection
(Abstract)
Stuart G. Stubblebine
Virgil D. Gligor
pp. 41
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Authentication Protocols - Session Chair: Teresa Lunt
Authentication Method with Impersonal Token Cards
(Abstract)
Refik Molva
Gene Tsudik
pp. 56
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Interconnecting Domains with Heterogeneous Key Distribution and Authentication Protocols
(Abstract)
F. Piessens
B. De Decker
P. Janson
pp. 66
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Timing Channels - Session Chair: John Rushby
Modelling a Fuzzy Time System
(Abstract)
Jonathan T. Trostle
pp. 82
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On Introducing Noise into the Bus-Contention Channel
(Abstract)
James W. Gray, III
pp. 90
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Information Flow - Session Chair: John McLean
A Logical Analysis of Authorized and Prohibited Information Flows
(Abstract)
F. Cuppens
pp. 100
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Cascade Vulnerability Problem
(Abstract)
J.D Horton
Robert harland
Elton Ashby
R.H. Cooper
W.F. Hyslop
pp. 110
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Database Security - Session Chair: Marv Schaefer
A Model of Atomicity for Multilevel Transactions
(Abstract)
Barbara T. Blaustein
Sushil Jajodia
Catherine D. Mcollum
pp. 120
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Achieving Stricter Correctness Requirements in Multilevel Secure Databases
(Abstract)
Vijayalakshmi Atluri
Elisa Bertino
Sushil Jajodia
pp. 135
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Analysis of Cryptographic Protocols - Session Chair: Yizcov Yacobi
Trust Relationships in Secure Systems-A Distributed Authentication Perspective
(Abstract)
R. Yahalom
B. Klein
Th. Beth
pp. 150
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Logical Language for Specifying Cryptographic Protocol Requirements
(Abstract)
Paul Syverson
Cathernine Meadows
pp. 165
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Semantic Model for Authentication Protocols
(Abstract)
Thomas Y.C. Woo
Simon S. Lam
pp. 178
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Systems - Session Chair: Tanya Korelsky
Detection and Elimination of Inference Channels in Multilevel Relational Database Systems
(Abstract)
Xiaolei Qian
Mark E. Stickel
Peter D. Karp
Teresa F. Lunt
Thomas D. Carvey
pp. 196
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Assuring Distributed Trusted Mach
(Abstract)
Todd Fine
Spencer E. Minear
pp. 206
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
