Login / Signup
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