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