Implementation and Verification of Authentication Protocols Using Proof Procedures in HOL

Cached

Download Links

by Masami Hagiya , Yozo Toda , Yoshiki Fukuba