1981 IEEE Symposium on Security and Privacy, Oakland, CA, USA, April 27-29, 1981 - researchr publication

researchr

You are not signed in
Sign in
Sign up

1981 IEEE Symposium on Security and Privacy, Oakland, CA, USA, April 27-29, 1981. IEEE Computer Society, 1981. [doi]

Conference: sp

Abstract is missing.

Information Flow Analysis of Formal SpecificationsJonathan K. Millen. 3-8 [doi]

Access Flow: A Protection Model which Integrates Access Control and Information FlowAllen Stoughton. 9-18 [doi]

The Role of a Well Defined Auditing Process in the Enforcement of Privacy Policy and Data SecurityDavid A. Bonyun. 19-25 [doi]

Mechanism Sufficiency Validation by AssignmentLawrence J. Shirley, Roger R. Schell. 26-32 [doi]

Restriciting Queries that Might Lead to CompromiseDorothy E. Denning. 33-40 [doi]

On the Transport of PrivilegesNaftaly H. Minsky. 41-48 [doi]

A Complete Protection ModelLuke C. Dion. 49-55 [doi]

Processing Multilevel Secure ObjectsDaniel J. Solomon. 56-64 [doi]

Half a Loaf is Better than None: Some Novel Message Integrity ProblemsGustavus J. Simmons. 65-69 [doi]

Future Applications of CryptographyCharles Cresson Wood. 70-74 [doi]

Security Proofs for Information Protection SystemsG. R. Blakley, Laif Swanson. 75-88 [doi]

Required Cryptographic Authentication Criteria for Electronic Funds Transfer SystemsCarl H. Meyer, Stephen M. Matyas, Richard E. Lennon. 89-98 [doi]

Trusted Computer SystemsPeter S. Tasker. 99-100 [doi]

Military Message Systems: Applying a Security ModelJames S. Miller, Robert G. Resnick. 101-112 [doi]

Hierarchical Protection SystemsMargaret S. Wu. 113-123 [doi]

The Structure of a Security Kernel for the Z8000 MultiprocessorLyle A. Cox Jr., Roger R. Schell. 124-132 [doi]

The Design of Secure CPU-Multiplexed Computer Systems: The Master/Slave ArchitectureGeorge I. Davida, Jon Livesey. 133-140 [doi]

Security Kernels: A Solution or a Problem?Stanley R. Ames Jr.. 141 [doi]

runs on WebDSL