The Community for Technology Leaders
2012 IEEE Symposium on Security and Privacy (1982)
Oakland, CA
Apr. 26, 1982 to Apr. 28, 1982
ISSN: 1540-7993
ISBN: 0-8186-0410-7
TABLE OF CONTENTS
Monday Morning: Security Models

Non-Discretionery Controls for Commercial Applications (Abstract)

Steven B. Lipner , Digital Equipment Corporation
pp. 2

Security Policies and Security Models (Abstract)

J. A. Goguen , SRI International
J. Meseguer , SRI International
pp. 11

Memoryless Inference Controls for Statistical Databases (Abstract)

Elisabeth Wehrle , Universität Ulm
Dorothy Elizabeth Denning , Purdue University
Jan Schlöer , Universität Ulm
pp. 38
Monday Afternoon: Systems and their Analysis

Protection in the OSKAR Opereting System: Goals, Concepts, Conseqeuences (Abstract)

Peter Kammerer , Universitkät Karlsruhe
Klaus Dittrich , Universitkät Karlsruhe
Klaus Wachsmuth , Universitkät Karlsruhe
Hans Mau , Universitkät Karlsruhe
Karlheinz Hug , Universitkät Karlsruhe
Dieter Lienert , Universitkät Karlsruhe
pp. 46

A Practical Approach to Identifying Storage and Timing Channels (Abstract)

Richard Kemmerer , University of California, Santa Barbara
pp. 66

Precise Information Flow Analysis by Program Verification (Abstract)

Stephen Crocker , The Aerospace Corporation
Christopher Landauer , The Aerospace Corporation
pp. 74
Tuesday Morning: Privacy, Progress, and Reality

Privacy Protection in the 1980s (Abstract)

Rein Turn , California State University, Northridge
pp. 86
Tuesday Afternoon: Cryptography

A Software Protection Scheme (Abstract)

Gustavus J. Simmons , Sandia National Labs
George B. Purdy , Texas A&M University
pp. 99

Cryptographic Relational Algebra (Abstract)

Y. Yeh , University of Wisconsin
George I. Davida , University of Wisconsin
pp. 111

Forward Search as a Cryptanalytic Tool Against a Public Key (Abstract)

Diane Holdridge , Sandia National Laboratories
Gustavus J. Simmons , Sandia National Laboratories
pp. 117
Wednesday Morning: Secure Networks and Communications

A Multilevel Secure Local Area Network (Abstract)

Deepinder P. Sidhu , Burroughs Corporation
Morrie Gasser , MITRE Corp.
pp. 137

A Practical Executive for Secure Communications (Abstract)

Gary Grossman , Digital Technology Incorporated
pp. 144
81 ms
(Ver 3.1 (10032016))