Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769516890

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A formal analysis of Syverson's rational exchange protocol

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 ◽

10.1109/csfw.2002.1021816 ◽

2005 ◽

Cited By ~ 5

Author(s):

L. Buttyan ◽

J.-P. Hubaux ◽

S. Capkun

Keyword(s):

Formal Analysis

Download Full-text

Information flow ecurity in dynamic contexts

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 ◽

10.1109/csfw.2002.1021825 ◽

2005 ◽

Cited By ~ 18

Author(s):

R. Focardi ◽

S. Rossi

Keyword(s):

Information Flow

Download Full-text

Fine-grained information flow analysis for a ~ -calculus with sum types

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 ◽

10.1109/csfw.2002.1021818 ◽

2005 ◽

Cited By ~ 5

Author(s):

V. Simonet

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Information Flow Analysis ◽

Fine Grained

Download Full-text

A formal analysis of ome properties of kerberos 5 using MSR

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 ◽

10.1109/csfw.2002.1021815 ◽

2005 ◽

Cited By ~ 9

Author(s):

F. Butler ◽

I. Cervesato ◽

A.D. Jaggard ◽

A. Scedrov

Keyword(s):

Formal Analysis

Download Full-text

Secure information flow and pointer con .nement in a java-like language

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 ◽

10.1109/csfw.2002.1021820 ◽

2005 ◽

Cited By ~ 33

Author(s):

A. Banerjee ◽

D.A. Naumann

Keyword(s):

Information Flow ◽

Secure Information

Download Full-text

Formal specication of intrusion signatures and detection rules

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 ◽

10.1109/csfw.2002.1021807 ◽

2005 ◽

Cited By ~ 6

Author(s):

J.-P. Pouzol ◽

M. Ducasse

Download Full-text

Strand spaces and rank functions:more than distant cousins

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 ◽

10.1109/csfw.2002.1021810 ◽

2005 ◽

Cited By ~ 1

Author(s):

J. Heather

Keyword(s):

Strand Spaces

Download Full-text

Analysis of SPKI/SDSI certificates using model checking

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 ◽

10.1109/csfw.2002.1021812 ◽

2003 ◽

Cited By ~ 9

Author(s):

S. Jha ◽

T. Reps

Keyword(s):

Model Checking

Download Full-text

Two formal analyses of attack graphs

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 ◽

10.1109/csfw.2002.1021806 ◽

2003 ◽

Cited By ~ 173

Author(s):

S. Jha ◽

O. Sheyner ◽

J. Wing

Keyword(s):

Attack Graphs

Download Full-text

Cryptographic types

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 ◽

10.1109/csfw.2002.1021819 ◽

2003 ◽

Cited By ~ 9

Author(s):

D. Duggan

Download Full-text

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

A formal analysis of Syverson's rational exchange protocol

Information flow ecurity in dynamic contexts

Fine-grained information flow analysis for a ~ -calculus with sum types

A formal analysis of ome properties of kerberos 5 using MSR

Secure information flow and pointer con .nement in a java-like language

Formal specication of intrusion signatures and detection rules

Strand spaces and rank functions:more than distant cousins

Analysis of SPKI/SDSI certificates using model checking

Two formal analyses of attack graphs

Cryptographic types

Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15
Latest Publications