Integrating Verification, Testing, and Learning for Cryptographic Protocols.

Martijn Oostdijk Vlad Rusu Jan Tretmans René G. de Vries Tim A. C. Willemse Integrating Verification, Testing, and Learning for Cryptographic Protocols. 538-557 2007 conf/ifm/2007 IFM http://dx.doi.org/10.1007/978-3-540-73210-5_28 db/conf/ifm/ifm2007.html#OostdijkRTVW07