Proceedings 1993 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

0818633700

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Assuring Distributed Trusted Mach

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

10.1109/risp.1993.287631 ◽

2002 ◽

Cited By ~ 10

Author(s):

T. Fine ◽

S.E. Minear

Download Full-text

Interconnecting domains with heterogeneous key distribution and authentication protocols

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

10.1109/risp.1993.287642 ◽

2002 ◽

Author(s):

F. Piessens ◽

B. De Decker ◽

P. Janson

Keyword(s):

Key Distribution ◽

Authentication Protocols

Download Full-text

Modelling a fuzzy time system

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

10.1109/risp.1993.287641 ◽

2002 ◽

Cited By ~ 5

Author(s):

J.T. Trostle

Keyword(s):

Time System

Download Full-text

Trust relationships in secure systems-a distributed authentication perspective

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

10.1109/risp.1993.287635 ◽

2002 ◽

Cited By ~ 102

Author(s):

R. Yahalom ◽

B. Klein ◽

T. Beth

Keyword(s):

Secure Systems ◽

Trust Relationships

Download Full-text

A model of atomicity for multilevel transactions

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

10.1109/risp.1993.287637 ◽

2002 ◽

Cited By ~ 4

Author(s):

B.T. Blaustein ◽

S. Jajodia ◽

C.D. McCollum ◽

L. Notargiacomo

Download Full-text

A logical analysis of authorized and prohibited information flows

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

10.1109/risp.1993.287639 ◽

2002 ◽

Cited By ~ 5

Author(s):

F. Cuppens

Keyword(s):

Logical Analysis ◽

Information Flows

Download Full-text

The cascade vulnerability problem

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

10.1109/risp.1993.287638 ◽

2002 ◽

Cited By ~ 3

Author(s):

J.D. Horton ◽

R. Harland ◽

E. Ashby ◽

R.H. Cooper ◽

W.F. Hyslop ◽

...

Download Full-text

A logical language for specifying cryptographic protocol requirements

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

10.1109/risp.1993.287634 ◽

2002 ◽

Cited By ~ 21

Author(s):

P. Syverson ◽

C. Meadows

Keyword(s):

Cryptographic Protocol ◽

Logical Language

Download Full-text

Achieving stricter correctness requirements in multilevel secure databases

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

10.1109/risp.1993.287636 ◽

2002 ◽

Cited By ~ 2

Author(s):

V. Atluri ◽

E. Bertino ◽

S. Jajodia

Keyword(s):

Secure Databases

Download Full-text

USTAT: a real-time intrusion detection system for UNIX

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

10.1109/risp.1993.287646 ◽

2002 ◽

Cited By ~ 71

Author(s):

K. Ilgun

Keyword(s):

Intrusion Detection ◽

Real Time ◽

Intrusion Detection System ◽

Detection System

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Assuring Distributed Trusted Mach

Interconnecting domains with heterogeneous key distribution and authentication protocols

Modelling a fuzzy time system

Trust relationships in secure systems-a distributed authentication perspective

A model of atomicity for multilevel transactions

A logical analysis of authorized and prohibited information flows

The cascade vulnerability problem

A logical language for specifying cryptographic protocol requirements

Achieving stricter correctness requirements in multilevel secure databases

USTAT: a real-time intrusion detection system for UNIX

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