PUBLICATION: From model-checking to automated testing of security protocols: Bridging the gap
© Springer. Personal use of this material is permitted. The definitive version of this paper was published in TAP 2012, 6th International Conference on Tests and Proofs, May 31-June 1, 2012, Prague, Czech Republic / Published also in LNCS, Volume 7305, 2012, Springer and is available at : http://dx.doi.org/10.1007/978-3-642-30473-6_3