scholarly journals A framework for merging inconsistent beliefs in security protocol analysis

2005 ◽  
Author(s):  
Q. Chen ◽  
Y.-P.P. Chen ◽  
C. Zhang ◽  
S. Zhang
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