1981 IEEE Symposium on Security and Privacy
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By IEEE

0818603453

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Design of Secure CPU-Multiplexed Computer Systems: The Master/Slave Architecture

1981 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1981.10009 ◽

1981 ◽

Cited By ~ 1

Author(s):

George I. Davida ◽

Jon Livesey

Keyword(s):

Computer Systems

Download Full-text

Security Kernels: A Solution or a Problem?

1981 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1981.10016 ◽

1981 ◽

Author(s):

Stanley R. Ames, Jr.

Keyword(s):

Security Kernels

Download Full-text

Information Flow Analysis of Formal Specifications

1981 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1981.10008 ◽

1981 ◽

Cited By ~ 11

Author(s):

Jonathan K. Millen

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Formal Specifications ◽

Information Flow Analysis

Download Full-text

Restriciting Queries that Might Lead to Compromise

1981 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1981.10000 ◽

1981 ◽

Cited By ~ 1

Author(s):

Dorothy E. Denning

Download Full-text

On the Transport of Privileges

1981 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1981.10005 ◽

1981 ◽

Author(s):

NAFTALY H. MINSKY

Download Full-text

Panel Session: Cryptography

1981 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1981.10014 ◽

1981 ◽

Keyword(s):

Panel Session

Download Full-text

Security Proofs for Information Protection Systems

1981 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1981.10018 ◽

1981 ◽

Cited By ~ 10

Author(s):

G. R. Blakley ◽

Laif Swanson

Keyword(s):

Information Protection ◽

Security Proofs ◽

Protection Systems

Download Full-text

Required Cryptographic Authentication Criteria for Electronic Funds Transfer Systems

1981 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1981.10011 ◽

1981 ◽

Cited By ~ 2

Author(s):

C.H. Meyer ◽

S.M. Matyas ◽

R.E. Lennon

Download Full-text

Trusted Computer Systems

1981 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1981.10020 ◽

1981 ◽

Cited By ~ 4

Author(s):

Peter S. Tasker

Keyword(s):

Computer Systems

Download Full-text

Processing Multilevel Secure Objects

1981 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1981.10001 ◽

1981 ◽

Author(s):

Daniel J. Solomon

Download Full-text