Transformational Verification of Parameterized Protocols Using Array Formulas.

Alberto Pettorossi Maurizio Proietti Valerio Senni

Published in: LOPSTR (2005)

Keyphrases

cryptographic protocols
protocol specification
model checking
face verification
formal verification
communication protocols
verification method
linear time temporal logic
signature verification
programmable logic
high security
temporal logic
modal logic
communication protocol
linear array