Proceedings Computer Security Foundations Workshop IV
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818622156

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A proof of secrecy for a network security model

Proceedings Computer Security Foundations Workshop IV ◽

10.1109/csfw.1991.151583 ◽

2002 ◽

Author(s):

G. MacEwen ◽

J. Glasgow

Keyword(s):

Network Security ◽

Security Model

Download Full-text

Polyinstantiation: an inevitable part of a multilevel world

Proceedings Computer Security Foundations Workshop IV ◽

10.1109/csfw.1991.151597 ◽

2002 ◽

Cited By ~ 9

Author(s):

T.F. Lunt

Download Full-text

Handling infeasible specifications of cryptographic protocols

Proceedings Computer Security Foundations Workshop IV ◽

10.1109/csfw.1991.151575 ◽

2002 ◽

Cited By ~ 11

Author(s):

Li Gong

Keyword(s):

Cryptographic Protocols

Download Full-text

On belief evolution in authentication protocols

Proceedings Computer Security Foundations Workshop IV ◽

10.1109/csfw.1991.151576 ◽

2002 ◽

Cited By ~ 14

Author(s):

R. Kailar ◽

V.D. Gligor

Keyword(s):

Authentication Protocols

Download Full-text

Analysis of a storage channel in the two phase commit protocol

Proceedings Computer Security Foundations Workshop IV ◽

10.1109/csfw.1991.151587 ◽

2002 ◽

Cited By ~ 10

Author(s):

O.L. Costich ◽

I.S. Moskowitz

Keyword(s):

Two Phase ◽

Commit Protocol

Download Full-text

Logics for cryptographic protocols-virtues and limitations

Proceedings Computer Security Foundations Workshop IV ◽

10.1109/csfw.1991.151591 ◽

2002 ◽

Cited By ~ 12

Author(s):

V.D. Gligor ◽

R. Kailar ◽

S. Stubblebine ◽

L. Gong

Keyword(s):

Cryptographic Protocols

Download Full-text

On information flow security models

Proceedings Computer Security Foundations Workshop IV ◽

10.1109/csfw.1991.151569 ◽

2002 ◽

Cited By ~ 3

Author(s):

J.W. Gray

Keyword(s):

Information Flow ◽

Information Flow Security ◽

Security Models

Download Full-text

The basic integrity theorem

Proceedings Computer Security Foundations Workshop IV ◽

10.1109/csfw.1991.151573 ◽

2002 ◽

Cited By ~ 3

Author(s):

J. Jacob

Download Full-text

Toward a universal integrity model

Proceedings Computer Security Foundations Workshop IV ◽

10.1109/csfw.1991.151590 ◽

2002 ◽

Cited By ~ 3

Author(s):

L.J. LaPadula ◽

J.G. Williams

Download Full-text

Abductive and approximate reasoning models for characterizing inference channels

Proceedings Computer Security Foundations Workshop IV ◽

10.1109/csfw.1991.151578 ◽

2002 ◽

Cited By ~ 5

Author(s):

T.D. Garvey ◽

T.F. Lunt ◽

M.E. Stickel

Keyword(s):

Approximate Reasoning

Download Full-text

Proceedings Computer Security Foundations Workshop IVLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

A proof of secrecy for a network security model

Polyinstantiation: an inevitable part of a multilevel world

Handling infeasible specifications of cryptographic protocols

On belief evolution in authentication protocols

Analysis of a storage channel in the two phase commit protocol

Logics for cryptographic protocols-virtues and limitations

On information flow security models

The basic integrity theorem

Toward a universal integrity model

Abductive and approximate reasoning models for characterizing inference channels

Proceedings Computer Security Foundations Workshop IV
Latest Publications