Proceedings of 1994 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

0818656751

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Elimination of inference channels by optimal upgrading

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

10.1109/risp.1994.296583 ◽

2002 ◽

Cited By ~ 7

Author(s):

M.E. Stickel

Download Full-text

On unifying some cryptographic protocol logics

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

10.1109/risp.1994.296595 ◽

2002 ◽

Cited By ~ 79

Author(s):

P.F. Syverson ◽

P.C. van Oorschot

Keyword(s):

Cryptographic Protocol

Download Full-text

Mode security: an infrastructure for covert channel suppression

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

10.1109/risp.1994.296593 ◽

2002 ◽

Cited By ~ 7

Author(s):

R. Browne

Keyword(s):

Covert Channel

Download Full-text

The complexity and composability of secure interoperation

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

10.1109/risp.1994.296581 ◽

2002 ◽

Cited By ~ 16

Author(s):

Li Gong ◽

Xiaolei Qian

Keyword(s):

Secure Interoperation

Download Full-text

Generating formal cryptographic protocol specifications

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

10.1109/risp.1994.296586 ◽

2002 ◽

Cited By ~ 13

Author(s):

U. Carlsen

Keyword(s):

Cryptographic Protocol

Download Full-text

Collecting garbage in multilevel secure object stores

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

10.1109/risp.1994.296588 ◽

2002 ◽

Cited By ~ 5

Author(s):

E. Bertino ◽

L.V. Mancini ◽

S. Jajodia

Download Full-text

Ensuring data security in interrelated tabular data

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

10.1109/risp.1994.296589 ◽

2002 ◽

Author(s):

R. Kumar

Keyword(s):

Data Security ◽

Tabular Data

Download Full-text

Simple timing channels

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

10.1109/risp.1994.296592 ◽

2002 ◽

Cited By ~ 34

Author(s):

I.S. Moskowitz ◽

A.R. Miller

Keyword(s):

Timing Channels

Download Full-text

A model for secure protocols and their compositions

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

10.1109/risp.1994.296596 ◽

2002 ◽

Cited By ~ 9

Author(s):

N. Heintze ◽

J.D. Tygart

Keyword(s):

Secure Protocols

Download Full-text

Asynchronous composition and required security conditions

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

10.1109/risp.1994.296591 ◽

2002 ◽

Cited By ~ 2

Author(s):

N. Boulahia-Cuppens ◽

F. Cuppens

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Elimination of inference channels by optimal upgrading

On unifying some cryptographic protocol logics

Mode security: an infrastructure for covert channel suppression

The complexity and composability of secure interoperation

Generating formal cryptographic protocol specifications

Collecting garbage in multilevel secure object stores

Ensuring data security in interrelated tabular data

Simple timing channels

A model for secure protocols and their compositions

Asynchronous composition and required security conditions

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