Verifying Cryptographic Protocols with Subterms Constraints.

Yannick Chevalier Denis Lugiez Michaël Rusinowitch

Published in: LPAR (2007)

Keyphrases

cryptographic protocols
standard model
security properties
information systems
low cost
model checking
resource constraints