SAT-based model-checking for security protocols analysis.

Alessandro Armando Luca Compagna

Published in: Int. J. Inf. Sec. (2008)

Keyphrases

model checking
bounded model checking
temporal logic
security protocols
real time
verification method
formal methods
epistemic logic
data management
lightweight
model checker
automated verification
abstract interpretation
computation tree logic