Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif

2014 ◽  
pp. 54-87 ◽  
Author(s):  
Bruno Blanchet
Keyword(s):  
Security Protocols ◽  
Automatic Verification ◽  
Symbolic Model

scholarly journals Compositional and Symbolic Model-Checking of Real-Time Systems

1996 ◽  
Vol 3 (59) ◽  
Author(s):  
Kim G. Larsen ◽  
Paul Pettersson ◽  
Wang Yi
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Symbolic Model Checking ◽  
Automatic Verification ◽  
Parallel Composition ◽  
Real Time Systems ◽  
Symbolic Model ◽  
Verification Tools ◽  
State Region ◽  
Time Systems

Efficient automatic model-checking algorithms for<br />real-time systems have been obtained in recent years<br />based on the state-region graph technique of Alur,<br />Courcoubetis and Dill. However, these algorithms are<br />faced with two potential types of explosion arising from<br />parallel composition: explosion in the space of control<br />nodes, and explosion in the region space over clock variables.<br />In this paper we attack these explosion problems by<br />developing and combining compositional and symbolic<br />model-checking techniques. The presented techniques<br />provide the foundation for a new automatic verification<br />tool Uppaal. Experimental results indicate that<br />Uppaal performs time- and space-wise favorably compared<br />with other real-time verification tools.

Automatic Verification for Later-Correspondence of Security Protocols

2015 ◽  
pp. 111-126 ◽  
Author(s):  
Xiaofei Xie ◽  
Xiaohong Li ◽  
Yang Liu ◽  
Li Li ◽  
Ruitao Feng ◽  
...  
Keyword(s):  
Security Protocols ◽  
Automatic Verification
Sign in / Sign up

Export Citation Format

Share Document