Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later

2015 ◽  
pp. 475-492 ◽  
Author(s):  
Catherine Meadows
Keyword(s):  
Formal Methods ◽  
Protocol Analysis ◽  
Cryptographic Protocol ◽  
Emerging Issues ◽  
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
Sign in / Sign up

Export Citation Format

Share Document