Symposium

doi:10.1109/SP.1981.10003

S
SP
1981
1981 IEEE Symposium on Security and Privacy

This Publication

Digital Library

	This Publication

	Subscribe to this Publication Login to access your subscribed content
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/EndNote

1981 IEEE Symposium on Security and Privacy

Oakland, CA

April 27-April 29

ISBN: 0-8186-0345-3

Table of Contents

null

Symposium (PDF)

pp. iii

ABSTRACT

PDF

Monday, April 27, 1981

Information Flow Analysis of Formal Specifications (Abstract)

Jonathan K. Millen, MITRE Corporation

pp. 3

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Access Flow: A Protection Model which Integrates Access Control and Information Flow (Abstract)

Allen Stoughton, University of California, Los Angeles

pp. 9

ABSTRACT

PDF

PURCHASE ARTICLE: $19

The Role of a Well Defined Auditing Process in the Enforcement of Privacy Policy and Data Security (Abstract)

David Bonyun, I.P. SHARP ASSOCIATES LIMITED

pp. 19

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Mechanism Sufficiency Validation by Assignment (Abstract)

Lawrence J. Shirley, Naval Postgraduate School

Roger R. Schell, Naval Postgraduate School

pp. 26

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Restriciting Queries that Might Lead to Compromise (Abstract)

Dorothy E. Denning, Purdue University

pp. 33

ABSTRACT

PDF

PURCHASE ARTICLE: $19

On the Transport of Privileges (Abstract)

NAFTALY H. MINSKY, Rutgers University

pp. 41

ABSTRACT

PDF

PURCHASE ARTICLE: $19

A Complete Protection Model (Abstract)

Luke C. Dion, Ford Aerospace & amp; CommunicationsCorporation

pp. 49

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Processing Multilevel Secure Objects (Abstract)

Daniel J. Solomon, MITRE Corporation

pp. 56

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Tuesday, April 28, 1981

Half a Loaf is Better than None: Some Novel Message Integrity Problems (Abstract)

Gustavus J. Simmons, Sandia National Laboratories

pp. 65

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Future Applications of Cryptography (Abstract)

Charles Cresson Wood, SRI International

pp. 70

ABSTRACT

PDF

PURCHASE ARTICLE: $19

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

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Required Cryptographic Authentication Criteria for Electronic Funds Transfer Systems (Abstract)

C.H. Meyer, IBM Corporation

S.M. Matyas, IBM Corporation

R.E. Lennon, IBM Corporation

pp. 89

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Trusted Computer Systems (Abstract)

Peter S. Tasker, MITRE Corporation

pp. 99

ABSTRACT

PDF

PURCHASE ARTICLE: $19

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

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Hierarchical Protection Systems (Abstract)

Margaret S. Wu, Univeraity of Iowa

pp. 113

ABSTRACT

PDF

PURCHASE ARTICLE: $19

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

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Wednesday, April 29, 1981

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

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Security Kernels: A Solution or a Problem? (Abstract)

Stanley R. Ames, Jr., MITRE Corp.

pp. 141

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Panel Session: Cryptography (PDF)

pp. 151

ABSTRACT

PDF

Panel Session: Kernel Performance Issues (PDF)

pp. 162

ABSTRACT

PDF

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.

Open
Download