Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818628251

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On message integrity in cryptographic protocols

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy ◽

10.1109/risp.1992.213268 ◽

2003 ◽

Author(s):

S.G. Stubblebine ◽

V.D. Gligor

Keyword(s):

Cryptographic Protocols

Download Full-text

Evolution of a trusted B3 window system prototype

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy ◽

10.1109/risp.1992.213258 ◽

2003 ◽

Author(s):

J. Epstein ◽

J. McHugh ◽

R. Pascale ◽

C. Martin ◽

D. Rothnie ◽

...

Keyword(s):

Window System ◽

System Prototype

Download Full-text

Non-monotonic transformation of access rights

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy ◽

10.1109/risp.1992.213264 ◽

2003 ◽

Author(s):

R.S. Sandhu ◽

G.S. Suri

Keyword(s):

Monotonic Transformation ◽

Download Full-text

The influence of delay upon an idealized channel's bandwidth

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy ◽

10.1109/risp.1992.213270 ◽

2003 ◽

Author(s):

I.S. Moskowitz ◽

A.R. Miller

Download Full-text

Roles in cryptographic protocols

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy ◽

10.1109/risp.1992.213267 ◽

2003 ◽

Author(s):

E. Snekkenes

Keyword(s):

Cryptographic Protocols

Download Full-text

A 'natural' decomposition of multi-level relations

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy ◽

10.1109/risp.1992.213254 ◽

2003 ◽

Author(s):

F. Cuppens ◽

K. Yazdanian

Keyword(s):

Multi Level ◽

Natural Decomposition

Download Full-text

Authorization in distributed systems: a formal approach

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy ◽

10.1109/risp.1992.213272 ◽

2003 ◽

Author(s):

T.Y.C. Woo ◽

S.S. Lam

Keyword(s):

Distributed Systems ◽

Formal Approach

Download Full-text

Lattice scheduling and covert channels

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy ◽

10.1109/risp.1992.213271 ◽

2003 ◽

Author(s):

W.-M. Hu

Keyword(s):

Covert Channels

Download Full-text

A logical approach to multilevel security of probabilistic systems

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy ◽

10.1109/risp.1992.213263 ◽

2003 ◽

Author(s):

J.W. Gray ◽

P.F. Syverson

Keyword(s):

Multilevel Security ◽

Logical Approach ◽

Probabilistic Systems

Download Full-text

Alternative correctness criteria for concurrent execution of transactions in multilevel secure databases

Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy ◽

10.1109/risp.1992.213259 ◽

2003 ◽

Author(s):

S. Jajodia ◽

V. Atluri

Keyword(s):

Concurrent Execution ◽

Secure Databases

Download Full-text