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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818621680

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The use of logic in the analysis of cryptographic protocols

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

10.1109/risp.1991.130784 ◽

2002 ◽

Cited By ~ 29

Author(s):

P. Syverson

Keyword(s):

Cryptographic Protocols

Download Full-text

SPX: global authentication using public key certificates

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

10.1109/risp.1991.130791 ◽

2002 ◽

Cited By ~ 52

Author(s):

J.J. Tardo ◽

K. Alagappan

Keyword(s):

Public Key

Download Full-text

Microdata disclosure limitation in statistical databases: query size and random sample query control

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

10.1109/risp.1991.130795 ◽

2002 ◽

Cited By ~ 8

Author(s):

G.T. Duncan ◽

S. Mukherjee

Keyword(s):

Random Sample ◽

Disclosure Limitation ◽

Statistical Databases

Download Full-text

The SRI IDES statistical anomaly detector

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

10.1109/risp.1991.130799 ◽

2002 ◽

Cited By ~ 104

Author(s):

H.S. Javitz ◽

A. Valdes

Keyword(s):

Anomaly Detector

Download Full-text

Directed-graph epidemiological models of computer viruses

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

10.1109/risp.1991.130801 ◽

2002 ◽

Cited By ~ 294

Author(s):

J.O. Kephart ◽

S.R. White

Keyword(s):

Directed Graph ◽

Epidemiological Models ◽

Computer Viruses

Download Full-text

An analysis of covert timing channels

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

10.1109/risp.1991.130767 ◽

2002 ◽

Cited By ~ 73

Author(s):

J.C. Wray

Keyword(s):

Timing Channels ◽

Covert Timing Channels

Download Full-text

Intrusion tolerance in distributed computing systems

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

10.1109/risp.1991.130780 ◽

2002 ◽

Cited By ~ 93

Author(s):

Y. Deswarte ◽

L. Blain ◽

J.-C. Fabre

Keyword(s):

Distributed Computing ◽

Intrusion Tolerance ◽

Distributed Computing Systems ◽

Computing Systems

Download Full-text

Reducing timing channels with fuzzy time

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

10.1109/risp.1991.130768 ◽

2002 ◽

Cited By ~ 69

Author(s):

W.-M. Hu

Keyword(s):

Timing Channels

Download Full-text

Verification of secure distributed systems in higher order logic: A modular approach using generic components

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

10.1109/risp.1991.130781 ◽

2002 ◽

Cited By ~ 1

Author(s):

J. Alves-Foss ◽

K. Levitt

Keyword(s):

Distributed Systems ◽

Higher Order ◽

Order Logic ◽

Modular Approach ◽

Higher Order Logic

Download Full-text

Applying a theory of modules and interfaces to security verification

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

10.1109/risp.1991.130782 ◽

2002 ◽

Cited By ~ 7

Author(s):

S.S. Lam ◽

A.U. Shankar ◽

T.Y.C. Woo

Keyword(s):

Security Verification

Download Full-text

Proceedings. 1991 IEEE Computer Society Symposium on Research in Security and PrivacyLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

The use of logic in the analysis of cryptographic protocols

SPX: global authentication using public key certificates

Microdata disclosure limitation in statistical databases: query size and random sample query control

The SRI IDES statistical anomaly detector

Directed-graph epidemiological models of computer viruses

An analysis of covert timing channels

Intrusion tolerance in distributed computing systems

Reducing timing channels with fuzzy time

Verification of secure distributed systems in higher order logic: A modular approach using generic components

Applying a theory of modules and interfaces to security verification

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