Verifying an ATM Protocol Using a Combination of Formal Techniques.

Published in: Comput. J. (2006)

Keyphrases

formal analysis
lightweight
website
combining multiple
formal methods
communication protocol
cryptographic protocols
ip address