16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

076951927x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Type-based distributed access control

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03 ◽

10.1109/csfw.2003.1212712 ◽

2004 ◽

Cited By ~ 13

Author(s):

T. Chothia ◽

D. Duggan ◽

J. Vitek

Keyword(s):

Access Control ◽

Distributed Access Control

Download Full-text

Automatic validation of protocol narration

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03 ◽

10.1109/csfw.2003.1212709 ◽

2004 ◽

Cited By ~ 23

Author(s):

C. Bodei ◽

M. Buchholtz ◽

P. Degano ◽

F. Nielson ◽

H. Riis Nielson

Keyword(s):

Automatic Validation

Download Full-text

Using first-order logic to reason about policies

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03 ◽

10.1109/csfw.2003.1212713 ◽

2004 ◽

Cited By ~ 31

Author(s):

J.Y. Halpern ◽

V. Weissman

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

A derivation system for security protocols and its logical formalization

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03 ◽

10.1109/csfw.2003.1212708 ◽

2004 ◽

Cited By ~ 16

Author(s):

A. Datta ◽

A. Derek ◽

J.C. Mitchell ◽

D. Pavlovic

Keyword(s):

Security Protocols ◽

Logical Formalization

Download Full-text

Identity based authenticated key agreement protocols from pairings

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03 ◽

10.1109/csfw.2003.1212715 ◽

2004 ◽

Cited By ~ 86

Author(s):

L. Chen ◽

C. Kudla

Keyword(s):

Key Agreement ◽

Authenticated Key Agreement ◽

Identity Based ◽

Agreement Protocols

Download Full-text

On generalized authorization problems

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03 ◽

10.1109/csfw.2003.1212714 ◽

2004 ◽

Cited By ~ 8

Author(s):

S. Schwoon ◽

S. Jha ◽

T. Reps ◽

S. Stubblebine

Download Full-text

Probabilistic noninterference through weak probabilistic bisimulation

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03 ◽

10.1109/csfw.2003.1212701 ◽

2004 ◽

Cited By ~ 17

Author(s):

G. Smith

Download Full-text

On distributed security transaction that use secure transport protocol

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03 ◽

10.1109/csfw.2003.1212710 ◽

2004 ◽

Cited By ~ 4

Author(s):

P. Broadfoot ◽

G. Lowe

Keyword(s):

Transport Protocol ◽

Distributed Security

Download Full-text

Symbolic protocol analysis with products and Diffie-Hellman exponentiation

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03 ◽

10.1109/csfw.2003.1212704 ◽

2004 ◽

Cited By ~ 20

Author(s):

J. Millen ◽

V. Shmatikov

Keyword(s):

Protocol Analysis ◽

Diffie Hellman

Download Full-text

Using access control for secure information flow in a Java-like language

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03 ◽

10.1109/csfw.2003.1212711 ◽

2004 ◽

Cited By ~ 14

Author(s):

A. Banerjee ◽

D.A. Naumann

Keyword(s):

Access Control ◽

Information Flow ◽

Secure Information

Download Full-text

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Type-based distributed access control

Automatic validation of protocol narration

Using first-order logic to reason about policies

A derivation system for security protocols and its logical formalization

Identity based authenticated key agreement protocols from pairings

On generalized authorization problems

Probabilistic noninterference through weak probabilistic bisimulation

On distributed security transaction that use secure transport protocol

Symbolic protocol analysis with products and Diffie-Hellman exponentiation

Using access control for secure information flow in a Java-like language

16th IEEE Computer Security Foundations Workshop 2003 Proceedings CSFW-03
Latest Publications