CSDL - Proceedings S

S
SP
1984
1984 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

1984 IEEE Symposium on Security and Privacy

Oakland, CA

April 29-May 02

ISBN: 0-8186-0532-4

Table of Contents

null

Welcome from the General Chairperson (PDF)

pp. iii

ABSTRACT

PDF

Comments from the program Co-Chairperson (PDF)

pp. iv

ABSTRACT

PDF

Operating Systems

An Augmented Capability Architecture to Support Lattice Security and Traceability of Access (Abstract)

Paul A. Karger, Digital Equipment Corporation

Andrew J. Herbert, University of Cambridge

pp. 2

ABSTRACT

PDF

PURCHASE ARTICLE: $19

KVM/370 in Retrospect (Abstract)

B. D. GOLD, SYSTEM DEVELOPMENT CORPORATION/A BURROUGHS COMPANY

R. R. LINDE, SYSTEM DEVELOPMENT CORPORATION/A BURROUGHS COMPANY

P. F. CUDNEY, SYSTEM DEVELOPMENT CORPORATION/A BURROUGHS COMPANY

pp. 13

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Linus IV-An Experiment in Computer Security (Abstract)

Steven Kramer, AXIOM Technology

pp. 24

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Architectual Requirements

Hardware Requirements for Secure Computer Systems: A Framework (Abstract)

Carl E. Landwehr, Naval Research Laboratory

John M. Carroll, Unviersity of Western Ontario

pp. 34

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Toward an Understanding of Extensible Architectures for Evaluated Trusted Computer System Products (Abstract)

Marvin Schaefer, DoD Computer Security Center

Roger R. Schell, DoD Computer Security Center

pp. 41

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Database Systems

Cryptographic Checksums for Multilevel Database Security (Abstract)

Dorothy E. Denning, SRI International

pp. 52

ABSTRACT

PDF

PURCHASE ARTICLE: $19

The Integrity-Lock Approach to Secure Database Management (Abstract)

Richard Graubart, MITRE Corp.

pp. 62

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Unwinding and Inference Control (Abstract)

Joseph A. Goguen, SRI International

José Meseguer, SRI International

pp. 75

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Cryptography

A Secure One-Way Hash Function Built from DES (Abstract)

Robert S. Winternitz, Stanford University

pp. 88

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Searching for Public-Key Cryptosystems (Abstract)

Neal R. Wagner, Drexel University

pp. 91

ABSTRACT

PDF

PURCHASE ARTICLE: $19

A New Paradigm for Individuals in the Information Age (Abstract)

David Chaum, University of California, Santa Barbara

pp. 99

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Panel: Security and Verification with Ada

null

The Use of Ada as an Implementation Language in Formally Specified Systems (Abstract)

Richard Platek, Odyssey Research Associates, Inc.

pp. 107

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Practical Experience with an Ada-Based Formal Specification/Language on a Large Project (Abstract)

Larry Yelowitz, Ford Aerospace and Communications Corporation

pp. 111

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Verification

Ottawa Euclid and EVES: A Status Report (Abstract)

Dan Craigen, I.P. Sharp Associates

pp. 114

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Analysis of a Kemel Verification (Abstract)

Terry Vickers Benzel, MITRE Corporation

pp. 125

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Networks and Formal Methods

The Interrogator A Tool for Cryptographic Protocol Security (Abstract)

Jonathan K. Millen, MITRE Corp.

pp. 134

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Executable Logic Specifications: A New Approach (Abstract)

Deepinder P. Sidhu, SDC -A Burroughs Company

pp. 142

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Formal Verification of a Secure Network with End-to-End Encryption (Abstract)

Dianne E. Britton, Advanced Technology Laboratories

pp. 154

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Multi-Level Security Based on Physical Distribution (Abstract)

Glenn H. MacEwen, Queen?s University

Bruce Burwell, Queen?s University

Zhuo-Jun Lu, Queen?s University

pp. 167

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Special Report

Attacks on Computers: Congressional Hearings and Pending Legislation (Abstract)

David Bailey, Los Alamos National Laboratory

pp. 180

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Formal Models

A Formal Statement of the MMS Security Model (Abstract)

John McLean, Naval Research Laboratory

Carl E. Landwehr, Naval Research Laboratory

Constance L. Heitmeyer, Naval Research Laboratory

pp. 188

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Comparison Paper between the Bell and LaPadula Model (Abstract)

Tad Taylor, DoD Computer Security Center

pp. 195

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Work in Progress Towards A1 Systems

Design Experiences from the Multilevel Secure MCF Operating System (Abstract)

John O. Neilson, RCA Government Systems Division

Frederick E. Wuebker, RCA Government Systems Division

pp. 204

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Formal Specification of a Multi-Level Secure Operating System (Abstract)

Tanya Korelsky, Odyssey Research Associates

David Sutherland, Odyssey Research Associates

pp. 209

ABSTRACT

PDF

PURCHASE ARTICLE: $19

A Gypsy-Based Kernel (Abstract)

Bret A. Hartman, DoD Computer Security Center

pp. 219

ABSTRACT

PDF

PURCHASE ARTICLE: $19

Multinet Gateway -- Towards A1 Certification (PDF)

George W. Dinolt, Ford Aerospace & Communications Corporation

Peter C. Baker, Ford Aerospace & Communications Corporation

Richard B. Neely, Ford Aerospace & Communications Corporation

James Freeman, Ford Aerospace & Communications Corporation

pp. 226

ABSTRACT

PDF

Peer Review Notice | Give Us Feedback

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

Open
Download