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

Symposium (PDF)

pp. iii
Monday, April 27, 1981

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
Tuesday, April 28, 1981

Security Proofs for Information Protection Systems (Abstract)

Laif Swanson , Texas A&M University and JPL Communications Systems Research Section
G. R. Blakley , 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)

Robert G. Resnick , Bolt Berenek and Newman Inc.
James S. Miller , 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)

ROGER R. SCHELL , Naval Postgraduate School
LYLE A. COX, Jr. , Naval Postgraduate School
pp. 124
Wednesday, April 29, 1981

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

Jon Livesey , Georgia Institute of Technology
George I. Davida , University of Wisconsin
pp. 133
85 ms
(Ver 3.1 (10032016))