Searching...
Advanced Search
S
SP
1987
1987 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
1987 IEEE Symposium on Security and Privacy
Oakland, CA
April 27-April 29
ISBN: 0-8186-0771-8
Table of Contents
null
Committees
(PDF)
pp. iii
ABSTRACT
PDF
Session 1: Secure Systems I - Chair: D. Bailey
Compartmented Model Workstation: Results Through Prototyping
(Abstract)
P.T Cummings
D.A. Fullan
M.J Goldstien
M.J. Gosse
J. Picciotto
J.P.L Woodward
J. Wynn
pp. 2
ABSTRACT
PDF
PURCHASE ARTICLE: $19
The Design of an Effective Auditing Subsystem
(Abstract)
J. Picciotto
pp. 13
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Exploiting the Dual Nature of Sensitivity Labels
(Abstract)
John P. L. Woodward
pp. 23
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Session 2: Seeure Systems II - Chair: J. Anderson
Limiting the Damage Potential of Discretionary Trojan Horses
(Abstract)
Paul A. Karger
pp. 32
ABSTRACT
PDF
PURCHASE ARTICLE: $19
ABYSS: ATrusted Architecture for Software Protection
(Abstract)
Steve R. White
pp. 38
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Physical Security for the μABYSS System
(Abstract)
Steve H. Weingart
pp. 52
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Session 3: Information Flow - Chair: T. Berson
Covert Channel Capacity
(Abstract)
Jonathan K. Millen
pp. 60
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Information Flow and Invariance
(Abstract)
Joshua Guttman
pp. 67
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Formal Method for the Identification of Covert Storage Channels in Source Code
(Abstract)
Chii-Ren Tsai
Virgil D. Gligor
C. Sekar Chandersekaran
pp. 74
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Session 4: Applications of Graph Theory - Chair: S. Akl
Graph Homomorphisms and the Design of Secure Computer Systems
(Abstract)
Louise E. Moser
pp. 88
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Graph-Theoretic Formulation of Multilevel Secure Distributed Systems: An Overview
(Abstract)
John C. Williams
George W. Dinolt
pp. 97
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Session 5: Formal Methods I - Chair: D. Cooper
Toward Verified Execution Environments
(Abstract)
William R. Bevier
Warren A. Hunt, Jr.
William D. Young
pp. 106
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Universal Theory of Information Flow
(Abstract)
Simon N. Foley
pp. 116
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Reasoning About Security Models
(Abstract)
John Mclean
pp. 123
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Session 6: Formal Methods II - Chair: D. Schnackenberg
Using Formal Verification Techniques to Analyze Encryption Protocols
(Abstract)
Richard A. Kemmerer
pp. 134
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Coding for a Believable Specification to Implementation Mapping
(Abstract)
William D. Young
John Mchugh
pp. 140
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Session 7: Formal Methods III - Chair: C. Meadows
AModel for Multilevel Security Based on Operator Nets
(Abstract)
Glenn H. MacEwen
Victor W.W. Poon
Janice I. Glasgow
pp. 150
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Specifications for Multi-Level Security and a Hook-Up
(Abstract)
Daryl McCullough
pp. 161
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Basis for Secure Communication in Large Distributed Systems
(Abstract)
David P. Anderson
P. Venkat Rangan
pp. 167
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Session 8: Commercial Security Policies - Chair: S. Lipner
Visa Scheme for Inter-Organization Network Security
(Abstract)
Deborah Estrin
Gene Tsudik
pp. 174
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Comparison of Commercial and Military Computer Security Policies
(Abstract)
David D. Clark
David R. Wilson
pp. 184
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Session 9: Database Security I - Chair: T. Lunt
Checking Classification Constraints for Consistency and Completeness
(Abstract)
Selim G. Aki
Dorothy E. Denning
pp. 196
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Data Dependencies and Inference Control in Multilevel Relational Database Systems
(Abstract)
Tzong-An Su
Gultekin Ozsoyoglu
pp. 202
ABSTRACT
PDF
PURCHASE ARTICLE: $19
The Integrity Lock Architecture and Its Application to Message Systems: Reducing Covert Channels
(Abstract)
Catherine Meadows
pp. 212
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Session 10: Database Security II - Chair: C. Landwehr
A Multilevel Relational Data Model
(Abstract)
Dorothy E. Denning
Teresa F. Lunt
pp. 220
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Multilevel Security for Knowledge-Based Systems
(Abstract)
Thomas A. Berson
Teresa F. Lunt
pp. 235
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
