CSDL - Proceedings S

Some Comments From The General Chairman (PDF)

pp. iii

Symposium Committee (PDF)

pp. iv

Monday Morning: Security Models

Non-Discretionery Controls for Commercial Applications (Abstract)

Steven B. Lipner, Digital Equipment Corporation

pp. 2

PDF

Security Policies and Security Models (Abstract)

J. A. Goguen, SRI International

J. Meseguer, SRI International

pp. 11

PDF

A Preliminary Neval Surveillance OBMS Sacurity (Abstract)

Richard D. Graubart, MITRE Corp.

John P.L. Woodward, MITRE Corp.

pp. 21

PDF

Memoryless Inference Controls for Statistical Databases (Abstract)

Dorothy Elizabeth Denning, Purdue University

Jan Schlöer, Universität Ulm

Elisabeth Wehrle, Universität Ulm

pp. 38

PDF

Monday Afternoon: Systems and their Analysis

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

Klaus Dittrich, Universitkät Karlsruhe

Karlheinz Hug, Universitkät Karlsruhe

Peter Kammerer, Universitkät Karlsruhe

Dieter Lienert, Universitkät Karlsruhe

Hans Mau, Universitkät Karlsruhe

Klaus Wachsmuth, Universitkät Karlsruhe

pp. 46

PDF

Kernel Isolation for the PDP-11/70 (Abstract)

Jonathan K. Millen, MITRE Corp.

pp. 57

PDF

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

Richard Kemmerer, University of California, Santa Barbara

pp. 66

PDF

Precise Information Flow Analysis by Program Verification (Abstract)

Christopher Landauer, The Aerospace Corporation

Stephen Crocker, The Aerospace Corporation

pp. 74

PDF

Specification-to-Code Correlation (Abstract)

Jane Solomon, SDC

pp. 81

PDF

Tuesday Morning: Privacy, Progress, and Reality

Privacy Protection in the 1980s (Abstract)

Rein Turn, California State University, Northridge

pp. 86

PDF

Specification of Key Distribution Protocols for Networks (PDF)

Deepinder P. Sidhu, Burroughs Corporation

pp. 90

Accelerating Computer Security Innovation (Abstract)

J.P. Anderson

pp. 91

PDF

Tuesday Afternoon: Cryptography

A Software Protection Scheme (Abstract)

George B. Purdy, Texas A&M University

Gustavus J. Simmons, Sandia National Labs

James A. Studier

pp. 99

PDF

Shared Database Access using Composed Encryption Functions (Abstract)

Neal R. Wagner, Drexel University

pp. 104

PDF

Cryptographic Relational Algebra (Abstract)

George I. Davida, University of Wisconsin

Y. Yeh, University of Wisconsin

pp. 111

PDF

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

Gustavus J. Simmons, Sandia National Laboratories

Diane Holdridge, Sandia National Laboratories

pp. 117

PDF

Digital Signitures with Blindfolded Arbitrators Who Cannot Form Alliances (Abstract)

Selim G. Akl, Queen's University

pp. 129

PDF

Wednesday Morning: Secure Networks and Communications

A Multilevel Secure Local Area Network (Abstract)

Deepinder P. Sidhu, Burroughs Corporation

Morrie Gasser, MITRE Corp.

pp. 137

PDF

A Practical Executive for Secure Communications (Abstract)

Gary Grossman, Digital Technology Incorporated

pp. 144

PDF

Pooling, Splitting, and Restituting Information to Overcome Total Failure of Some Channels of Communication (Abstract)

C.A. Asmuth, Texaa A&M University

G.R. Blakley, Texaa A&M University

pp. 156

PDF