What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis

2003 ◽  
Author(s):  
Catherine Meadows
Keyword(s):  
Protocol Analysis ◽  
Requirements Specification ◽  
Cryptographic Protocol ◽  
Cryptographic Protocol Analysis

Cryptographic Protocol Analysis of AN.ON

2010 ◽  
pp. 114-128 ◽  
Author(s):  
Benedikt Westermann ◽  
Rolf Wendolsky ◽  
Lexi Pimenidis ◽  
Dogan Kesdogan
Keyword(s):  
Protocol Analysis ◽  
Cryptographic Protocol ◽  
Cryptographic Protocol Analysis

Belief Multiset Formalism for Cryptographic Protocol Analysis

2009 ◽  
Vol 20 (11) ◽  
pp. 3060-3076 ◽  
Author(s):  
Ling DONG ◽  
Ke-Fei CHEN ◽  
Xue-Jia LAI
Keyword(s):  
Protocol Analysis ◽  
Cryptographic Protocol ◽  
Cryptographic Protocol Analysis

Non-Malleability and Emulation Based Approach to Cryptographic Protocol Analysis

2009 ◽  
Vol 32 (4) ◽  
pp. 618-634
Author(s):  
Yuan TIAN ◽  
Ying WANG ◽  
Feng JIN ◽  
Yue JIN
Keyword(s):  
Protocol Analysis ◽  
Cryptographic Protocol ◽  
Cryptographic Protocol Analysis
Sign in / Sign up

Export Citation Format

Share Document