Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols.

Dominique Bolignano Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols. 77-87 1998 conf/cav/1998 CAV db/conf/cav/cav98.html#Bolignano98 http://dx.doi.org/10.1007/BFb0028735