Searching...
Advanced Search
S
SP
1994
1994 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/EndNote
1994 IEEE Symposium on Security and Privacy
Oakland, CA
May 16-May 18
ISBN: 0-8186-5675-1
Table of Contents
null
Message from the Program Chairs
(PDF)
pp. vii
ABSTRACT
PDF
Conference Committee
(PDF)
pp. viii
ABSTRACT
PDF
Formal Modeling of Cryptographic Protocols - Session Chair: Stuart Stubblebine
A Model for Secure Protocols and Their Compositions
(Abstract)
Nevin Heintz
J.D. Tygar
pp. 2
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On Unifying Some Cryptographic Protocol Logics
(Abstract)
Paul F. Syverson
Paul C. Van Oorschot
pp. 14
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Information Flow - Session Chair: Jonathan Millen
Eliminating Formal Flows in Automated Information Flow Analysis
(Abstract)
Steven T. Eckmann
pp. 30
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Mode Security: An Infrastructure for Covert Channel Suppression
(Abstract)
Randy Browne
pp. 39
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Simple Timing Channels
(Abstract)
Ira S. Moskowitz
Allen R. Miller
pp. 56
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Composition of Secure Systems - Session Chair: Raphael Yahalom
Asynchronous Composition and Required Security Conditions
(Abstract)
N. Boulahia-Cuppens
F. Cuppens
pp. 68
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions
(Abstract)
John McLean
pp. 79
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Database I - Session Chair: Ross Anderson
Ensuring Data Security in Interrelated Tabular Data
(Abstract)
Ram Kumar
pp. 96
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Collecting Garbage in Multilevel Secure Object Stores
(Abstract)
Elisa Bertino
Luigi V.
Luigi V. Mancini
Sushil Jajodia
pp. 106
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Cryptographic Engineering - Session Chair: Tom Berson
Prudent Engineering Practice for Cryptographic Protocols
(Abstract)
Martin Abadi
Roger Needham
pp. 122
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Generating Formal Cryptographic Protocol Specifications
(Abstract)
Ulf Carlsen
pp. 137
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Low Cost, High Speed Encryption System and Method
(Abstract)
Gregory L. Mayhew
pp. 147
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Database II - Session Chair: Catherine Meadows
Inference Channel-Free Integrity Constraints in Multilevel Relational Databases
(Abstract)
Xiolei Qian
pp. 158
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Elimination of Inference Channels by Optimal Upgrading
(Abstract)
Mark E. Stickel
pp. 168
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Distributed Systems - Session Chair: Gene Tsudik
A Secure Group Membership Protocol
(Abstract)
Micheal K. Reiter
pp. 176
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Complexity and Composability of Secure Interoperation
(Abstract)
Li Gong
Xiaolei Qian
pp. 190
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Access Control - Session Chair: John McHugh
Self-Nonself Discrimination in a Computer
(Abstract)
Stephanie Forrest
Alan S. Perelson
Lawrence Allen
Rajesh Cherukuri
pp. 202
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Extending the Schematic Protection Model - I Conditional Tickets and Authentication
(Abstract)
Vijay Varadharajan
Claudio Calvelli
pp. 213
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Minimality of Testing for Rights in Transformation Models
(Abstract)
Ravis S. Sandhu
Srinivas Ganta
pp. 230
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
Print and Online Advertising Opportunities
