Automated Verification of Equivalence of Protocol Machines.

Teruo Higashino Kiyoshi Ninomiya Tomohisa Kimoto Kenichi Taniguchi Masaaki Mori

Published in: PSTV (1989)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
lightweight
temporal logic
cryptographic protocols
graph theory
formal analysis
security protocols
application layer
network protocols
constraint satisfaction