TPMC: A Model Checker For Time-Sensitive Security Protocols.

Massimo Benerecetti Nicola Cuomo Adriano Peron

Published in: J. Comput. (2009)

Keyphrases

security protocols
model checker
model checking
formal verification
formal methods
description language
temporal logic
automated design
test suite
formal specification
set theory
security mechanisms
ai planning
key management
specification language
security requirements
web services