scholarly journals An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols

2005 ◽  
Vol 125 (1) ◽  
pp. 91-108 ◽  
Author(s):  
Alessandro Armando ◽  
Luca Compagna
Keyword(s):  
Model Checking ◽  
Security Protocols

From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap

2012 ◽  
pp. 3-18 ◽  
Author(s):  
Alessandro Armando ◽  
Giancarlo Pellegrino ◽  
Roberto Carbone ◽  
Alessio Merlo ◽  
Davide Balzarotti
Keyword(s):  
Model Checking ◽  
Security Protocols ◽  
Automated Testing

Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK

2008 ◽  
Vol 40 (3-4) ◽  
pp. 91-99 ◽  
Author(s):  
Llanos Tobarra ◽  
Diego Cazorla ◽  
Fernando Cuartero ◽  
Gregorio Díaz ◽  
Emilia Cambronero
Keyword(s):  
Wireless Sensor Network ◽  
Network Security ◽  
Model Checking ◽  
Sensor Network ◽  
Security Protocols ◽  
Wireless Sensor ◽  
Sensor Network Security ◽  
Wireless Sensor Network Security

Parallel Bounded Model Checking of Security Protocols

2014 ◽  
pp. 224-234 ◽  
Author(s):  
Mirosław Kurkowski ◽  
Olga Siedlecka-Lamch ◽  
Sabina Szymoniak ◽  
Henryk Piech
Keyword(s):  
Model Checking ◽  
Security Protocols ◽  
Bounded Model Checking

Model Checking for Security Protocols,

1997 ◽  
Author(s):  
Will Marrero ◽  
Edmund Clarke ◽  
Somesh Jha
Keyword(s):  
Model Checking ◽  
Security Protocols

scholarly journals Model Checking Indistinguishability of Randomized Security Protocols

2018 ◽  
pp. 117-135
Author(s):  
Matthew S. Bauer ◽  
Rohit Chadha ◽  
A. Prasad Sistla ◽  
Mahesh Viswanathan
Keyword(s):  
Model Checking ◽  
Security Protocols

LTL model checking for security protocols

2009 ◽  
Vol 19 (4) ◽  
pp. 403-429 ◽  
Author(s):  
Alessandro Armando ◽  
Roberto Carbone ◽  
Luca Compagna
Keyword(s):  
Model Checking ◽  
Security Protocols ◽  
Ltl Model Checking
Sign in / Sign up

Export Citation Format

Share Document