scholarly journals The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis

2008 ◽  
pp. 419-422 ◽  
Author(s):  
Michael Backes ◽  
Stefan Lorenz ◽  
Matteo Maffei ◽  
Kim Pecina
Keyword(s):  
Protocol Analysis ◽  
Security Protocol

scholarly journals Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis

2005 ◽  
Vol 13 (6) ◽  
pp. 637-663 ◽  
Author(s):  
Carlos Caleiro ◽  
Luca Viganò ◽  
David Basin
Keyword(s):  
Temporal Logic ◽  
Protocol Analysis ◽  
Security Protocol ◽  
Strand Spaces

Rule-based dependency models for security protocol analysis

2008 ◽  
Vol 15 (4) ◽  
pp. 369-380 ◽  
Author(s):  
Qingfeng Chen ◽  
Shichao Zhang ◽  
Yi-Ping Phoebe Chen
Keyword(s):  
Protocol Analysis ◽  
Security Protocol ◽  
Rule Based
Sign in / Sign up

Export Citation Format

Share Document