scholarly journals Automated Security Protocol Analysis With the AVISPA Tool

2006 ◽  
Vol 155 ◽  
pp. 61-86 ◽  
Author(s):  
Luca Viganò
Keyword(s):  
Protocol Analysis ◽  
Security Protocol ◽  
Avispa Tool

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