1. Home
  2. Proceedings
  3. SP
  4. SP 1985
Default Cover Image

1985 IEEE Symposium on Security and Privacy

April 22 1985 to April 24 1985

Oakland, CA, USA

Table of Contents

Program CommitteeFreely available from IEEE.pp. iii-iii
PrefaceFull-text access may be available. Sign in or learn about subscription options.pp. iv-iv
Structuring Systems for Formal VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 2-2
by Richard B. Neely, James W. Freeman
Trusted Software Verification: A Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 14-14
by Terry C. Vickers Benzel, Deborah A. Tavilla
Analysis of the Hardware Verification of the Honeywell SCOMPFull-text access may be available. Sign in or learn about subscription options.pp. 32-32
by Virgil D. Gligor
An Information Flow Tool for GypsyFull-text access may be available. Sign in or learn about subscription options.pp. 46-46
by John McHugh, Donald L. Good
The Restricted Access Processor An Example of Formal VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 49-49
by Norman Proctor
Non-Discretionary Controls for Inter-Organization NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 56-56
by Deborah Estrin
Network Security OverviewFull-text access may be available. Sign in or learn about subscription options.pp. 62-62
by Stephen T. Walker
A Unification of Computer and Network Security ConceptsFull-text access may be available. Sign in or learn about subscription options.pp. 77-77
by James P. Anderson
Cryptographic Protocol for Trustable Match MakingFull-text access may be available. Sign in or learn about subscription options.pp. 92-92
by Robert W. Baldwin, Wayne C. Gramlich
Polonius: An Identity Authentication SystemFull-text access may be available. Sign in or learn about subscription options.pp. 101-101
by Raymond M. Wong, Thomas A. Berson, Richard J. Feiertag
How to (Selectively) Broadcast A SecretFull-text access may be available. Sign in or learn about subscription options.pp. 108-108
by Gustavus J. Simmons
A Database Encryption Scheme Which Allows the Computation of Statistics Using Encrypted DataFull-text access may be available. Sign in or learn about subscription options.pp. 116-116
by G.R. Blakley, Catherine Meadows
A Fast Signature Scheme Based on Quadratic InequalitiesFull-text access may be available. Sign in or learn about subscription options.pp. 123-123
by Tatsuski Okamoto, Akira Shibaishi
Commutative Filters for Reducing Inference Threats in Multilevel Database SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 134-134
by Dorothy E. Denning
Design Overview for Retrofitting Integrity-Lock Architecture onto a Commercial DBMSFull-text access may be available. Sign in or learn about subscription options.pp. 147-147
by Richard D. Graubart, Kevin J. Duffy
Rounding and Inference Controlin Conceptual Models for Statistical DatabasesFull-text access may be available. Sign in or learn about subscription options.pp. 160-160
by Gultekin Ozsoyoglu, Tzong-An Su
Secure Ada Target: Issues, System Design, and VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 176-176
by W.E. Boebert, R.Y. Kaln, W.D. Young, S.A. Hansohn
Ada's Suitability for Trusted Computer SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 184-184
by Eric R. Anderson
Negotiated Access ControlFull-text access may be available. Sign in or learn about subscription options.pp. 190-190
by Kishore Swaminathan
Analysis of Acyclic Attenuating Systems for the SSR Protection ModelFull-text access may be available. Sign in or learn about subscription options.pp. 197-197
by Ravinderpal Singh Sandhu
Issues in Discretionary Access ControlFull-text access may be available. Sign in or learn about subscription options.pp. 208-208
by Deborah D. Downs, Jerzy R. Rub, Kenneth C. Kung, Carole S. Jordan
Computer Privacy in America: Conflicting Practices and Policy ChoicesFull-text access may be available. Sign in or learn about subscription options.pp. 219-219
by Ben G. Matley
Security Considerations for Autonomous RobotsFull-text access may be available. Sign in or learn about subscription options.pp. 224-224
by Douglas M. Gage
The Implementation of Secure Entity-Relationship DatabasesFull-text access may be available. Sign in or learn about subscription options.pp. 230-230
by Burton H. Patkau, David L. Tennenhouse
Labeling Screen OutputFull-text access may be available. Sign in or learn about subscription options.pp. 237-237
by Mindy E. Rudell
Showing 27 out of 27