Distributed temporal logic for the analysis of security protocol models.

David A. Basin Carlos Caleiro Jaime Ramos Luca Viganò

Published in: Theor. Comput. Sci. (2011)

Keyphrases

temporal logic
model checking
security protocols
distributed systems
reactive systems
real time
low cost
concurrent systems
lightweight
modal logic
temporal constraints
temporal knowledge
linear temporal logic
mazurkiewicz traces