18th IEEE Computer Security Foundations Workshop (CSFW'05)
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By IEEE

0769523404
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysis of Typed Analyses of Authentication Protocols

2005 ◽  
Author(s):  
M. Bugliesi ◽  
R. Focardi ◽  
M. Maffei
Keyword(s):  
Authentication Protocols

An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols

2005 ◽  
Author(s):  
I. Cervesato ◽  
C. Meadows ◽  
D. Pavlovic
Keyword(s):  
Key Distribution

Language-Based Information Erasure

2005 ◽  
Author(s):  
S. Chong ◽  
A.C. Myers
Keyword(s):  
Information Erasure

scholarly journals Enforcing Secure Service Composition

2005 ◽  
Author(s):  
M. Bartoletti ◽  
P. Degano ◽  
G.L. Ferrari
Keyword(s):  
Service Composition

Compositional Analysis of Contract Signing Protocols

2005 ◽  
Author(s):  
M. Backes ◽  
A. Datta ◽  
A. Derek ◽  
J.C. Mitchell ◽  
M. Turuani
Keyword(s):  
Compositional Analysis ◽  
Contract Signing

scholarly journals On Declassification and the Non-Disclosure Policy

2005 ◽  
Author(s):  
A.A. Matos ◽  
G. Boudol
Keyword(s):  
Disclosure Policy
Load More ...
Sign in / Sign up

Export Citation Format

Share Document