Proceedings. 1988 IEEE Symposium on Security and Privacy
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818608501

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementing commercial data integrity with secure capabilities

Proceedings. 1988 IEEE Symposium on Security and Privacy ◽

10.1109/secpri.1988.8105 ◽

2003 ◽

Cited By ~ 16

Author(s):

P.A. Karger

Keyword(s):

Data Integrity

An axiomatic basis of trust in distributed systems

Proceedings. 1988 IEEE Symposium on Security and Privacy ◽

10.1109/secpri.1988.8112 ◽

2003 ◽

Cited By ~ 32

Author(s):

P.V. Rangan

Keyword(s):

Distributed Systems

A secure distributed operating system

Proceedings. 1988 IEEE Symposium on Security and Privacy ◽

10.1109/secpri.1988.8095 ◽

2003 ◽

Cited By ~ 8

Author(s):

T.A. Casey ◽

S.T. Vinter ◽

D.G. Weber ◽

R. Varadarajan ◽

D. Rosenthal

Keyword(s):

Operating System ◽

Distributed Operating System

A prototype real-time intrusion-detection expert system

Proceedings. 1988 IEEE Symposium on Security and Privacy ◽

10.1109/secpri.1988.8098 ◽

2003 ◽

Cited By ~ 58

Author(s):

T.F. Lunt ◽

R. Jagannathan

Keyword(s):

Expert System ◽

Intrusion Detection ◽

Real Time

Noninterference and the composability of security properties

Proceedings. 1988 IEEE Symposium on Security and Privacy ◽

10.1109/secpri.1988.8110 ◽

2003 ◽

Cited By ~ 101

Author(s):

D. McCullough

Keyword(s):

Security Properties

Views as the security objects in a multilevel secure relational database management system

Proceedings. 1988 IEEE Symposium on Security and Privacy ◽

10.1109/secpri.1988.8099 ◽

2003 ◽

Cited By ~ 9

Author(s):

J. Wilson

Keyword(s):

Relational Database ◽

Management System ◽

Database Management ◽

Database Management System ◽

Relational Database Management System ◽

Relational Database Management

A bandwidth computation model for covert storage channels and its applications

Proceedings. 1988 IEEE Symposium on Security and Privacy ◽

10.1109/secpri.1988.8103 ◽

2003 ◽

Cited By ~ 17

Author(s):

C.-R. Tsai ◽

V.D. Gligor

Keyword(s):

Computation Model ◽

Storage Channels

Reverification of a microprocessor

Proceedings. 1988 IEEE Symposium on Security and Privacy ◽

10.1109/secpri.1988.8109 ◽

2003 ◽

Cited By ~ 5

Author(s):

S.D. Crocker ◽

E. Cohen ◽

S. Landauer ◽

H. Orman

Reasoning about knowledge in multilevel secure distributed systems

Proceedings. 1988 IEEE Symposium on Security and Privacy ◽

10.1109/secpri.1988.8104 ◽

2003 ◽

Cited By ~ 8

Author(s):

J.I. Glasgow ◽

G.H. MacEwen

Keyword(s):

Distributed Systems ◽

Reasoning About Knowledge

Inference aggregation detection in database management systems

Proceedings. 1988 IEEE Symposium on Security and Privacy ◽

10.1109/secpri.1988.8101 ◽

2003 ◽

Cited By ~ 56

Author(s):

T.H. Hinke

Keyword(s):

Database Management ◽

Database Management Systems ◽

Management Systems

Proceedings. 1988 IEEE Symposium on Security and PrivacyLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Implementing commercial data integrity with secure capabilities

An axiomatic basis of trust in distributed systems

A secure distributed operating system

A prototype real-time intrusion-detection expert system

Noninterference and the composability of security properties

Views as the security objects in a multilevel secure relational database management system

A bandwidth computation model for covert storage channels and its applications

Reverification of a microprocessor

Reasoning about knowledge in multilevel secure distributed systems

Inference aggregation detection in database management systems

Proceedings. 1988 IEEE Symposium on Security and Privacy
Latest Publications