Proceedings The Eighth IEEE Computer Security Foundations Workshop
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818670339

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Connection policies and controlled interference

Proceedings The Eighth IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1995.518561 ◽

2002 ◽

Cited By ~ 4

Author(s):

W.R. Bevier ◽

R.M. Cohen ◽

W.D. Young

Download Full-text

Modelling and verifying key-exchange protocols using CSP and FDR

Proceedings The Eighth IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1995.518556 ◽

2002 ◽

Cited By ~ 67

Author(s):

A.W. Roscoe

Keyword(s):

Key Exchange ◽

Key Exchange Protocols

Download Full-text

An augmentation of BAN-like logics

Proceedings The Eighth IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1995.518552 ◽

2002 ◽

Cited By ~ 2

Author(s):

Wenbo Mao

Download Full-text

The epistemic representation of information flow security in probabilistic systems

Proceedings The Eighth IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1995.518560 ◽

2002 ◽

Cited By ~ 8

Author(s):

P.F. Syverson ◽

J.W. Gray

Keyword(s):

Information Flow ◽

Information Flow Security ◽

Probabilistic Systems ◽

Epistemic Representation

Download Full-text

Concurrency control for federated multilevel secure database systems

Proceedings The Eighth IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1995.518558 ◽

2002 ◽

Cited By ~ 1

Author(s):

I.E. Kang ◽

T.F. Keefe

Keyword(s):

Concurrency Control ◽

Database Systems

Download Full-text

Specifying security for CSCW systems

Proceedings The Eighth IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1995.518559 ◽

2002 ◽

Cited By ~ 2

Author(s):

S.N. Foley ◽

J. Jacob

Download Full-text

Towards a classification of key agreement protocols

Proceedings The Eighth IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1995.518551 ◽

2002 ◽

Cited By ~ 4

Author(s):

C. Boyd

Keyword(s):

Key Agreement ◽

Agreement Protocols

Download Full-text

The security checker: a semantics-based tool for the verification of security properties

Proceedings The Eighth IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1995.518553 ◽

2002 ◽

Cited By ~ 4

Author(s):

R. Focardi ◽

R. Gorrieri ◽

V. Panini

Keyword(s):

Security Properties

Download Full-text

Optimal authentification protocols resistant to password guessing attacks

Proceedings The Eighth IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1995.518549 ◽

2002 ◽

Cited By ~ 50

Author(s):

Li Gong

Download Full-text

Implementation of a discretionary access control model for script-based systems

Proceedings The Eighth IEEE Computer Security Foundations Workshop ◽

10.1109/csfw.1995.518554 ◽

2002 ◽

Cited By ~ 4

Author(s):

T. Jaeger ◽

A. Prakash

Keyword(s):

Access Control ◽

Control Model ◽

Access Control Model ◽

Discretionary Access Control

Download Full-text

Proceedings The Eighth IEEE Computer Security Foundations WorkshopLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Connection policies and controlled interference

Modelling and verifying key-exchange protocols using CSP and FDR

An augmentation of BAN-like logics

The epistemic representation of information flow security in probabilistic systems

Concurrency control for federated multilevel secure database systems

Specifying security for CSCW systems

Towards a classification of key agreement protocols

The security checker: a semantics-based tool for the verification of security properties

Optimal authentification protocols resistant to password guessing attacks

Implementation of a discretionary access control model for script-based systems

Proceedings The Eighth IEEE Computer Security Foundations Workshop
Latest Publications