The Community for Technology Leaders
1981 IEEE Symposium on Security and Privacy (1981)
Oakland, CA, USA
April 27, 1981 to April 29, 1981
ISSN: 1540-7993
ISBN: 0-8186-0345-3

Symposium (Abstract)

pp. iii

Mechanism Sufficiency Validation by Assignment (Abstract)

Lawrence J. Shirley , Naval Postgraduate School
Roger R. Schell , Naval Postgraduate School
pp. 26

On the Transport of Privileges (Abstract)

NAFTALY H. MINSKY , Rutgers University
pp. 41

A Complete Protection Model (Abstract)

Luke C. Dion , Ford Aerospace & amp; CommunicationsCorporation
pp. 49

Processing Multilevel Secure Objects (Abstract)

Daniel J. Solomon , MITRE Corporation
pp. 56

Security Proofs for Information Protection Systems (Abstract)

G. R. Blakley , Texas A&M University and JPL Communications Systems Research Section
Laif Swanson , Texas A&M University and JPL Communications Systems Research Section
pp. 75

Trusted Computer Systems (Abstract)

Peter S. Tasker , MITRE Corporation
pp. 99

Military Message Systems: Applying a Security Model (Abstract)

James S. Miller , Bolt Berenek and Newman Inc.
Robert G. Resnick , Bolt Berenek and Newman Inc.
pp. 101

Hierarchical Protection Systems (Abstract)

Margaret S. Wu , Univeraity of Iowa
pp. 113

The Structure of a Security Kernel for the Z8000 Multiprocessor (Abstract)

LYLE A. COX, Jr. , Naval Postgraduate School
ROGER R. SCHELL , Naval Postgraduate School
pp. 124

The Design of Secure CPU-Multiplexed Computer Systems: The Master/Slave Architecture (Abstract)

George I. Davida , University of Wisconsin
Jon Livesey , Georgia Institute of Technology
pp. 133
93 ms
(Ver 3.3 (11022016))