M. Bond, Attacks on Cryptoprocessor Transaction Sets, Proceedings of the 3rd International Workshop on Cryptographic Hardware and Embedded Systems (CHES'01), pp.220-234, 2001.
DOI : 10.1007/3-540-44709-1_19

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

U. Carlsen, Optimal privacy and authentication on a portable communications system, ACM SIGOPS Operating Systems Review, vol.28, issue.3, pp.16-23, 1994.
DOI : 10.1145/182110.182112

]. J. Clark and J. Jacob, A survey of authentication protocol literature: Version 1.0. Available via http, 1997.

J. Clulow, On the Security of PKCS #11, Proceedings of the 5th International Worshop on Cryptographic Hardware and Embedded Systems (CHES'03), pp.411-425, 2003.
DOI : 10.1007/978-3-540-45238-6_32

V. Cortier, G. Keighren, and G. Steel, Automatic Analysis of the Security of XOR-Based Key Management Schemes, Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), pp.538-552, 2007.
DOI : 10.1007/978-3-540-71209-1_42

URL : https://hal.archives-ouvertes.fr/inria-00181616

J. Courant and J. Monin, Defending the bank with a proof assistant, Proceedings of the 6th International Workshop on Issues in the Theory of Security (WITS'06), pp.87-98, 2006.

S. Delaune, S. Kremer, and G. Steel, Formal Analysis of PKCS#11, 2008 21st IEEE Computer Security Foundations Symposium, pp.331-344, 2008.
DOI : 10.1109/CSF.2008.16

S. Fröschle and G. Steel, Analysing PKCS#11 key management APIs with unbounded fresh data Available from http, Proceedings of ARSPA-WITS '09, 2001.

D. Longley and S. Rigby, An automatic search for security flaws in key management schemes, Computers & Security, vol.11, issue.1, pp.75-89, 1992.
DOI : 10.1016/0167-4048(92)90222-D

A. Perrig and D. Song, Looking for diamonds in the desert, Proc. of the 13th Computer Security Foundations Workshop (CSFW'00), pp.64-76, 2000.

M. Raya and J. Hubaux, Securing vehicular ad hoc networks, Journal of Computer Security, vol.15, issue.1, pp.39-68, 2007.
DOI : 10.3233/JCS-2007-15103

I. Centre-de-recherche, ?. Nancy, and L. Est, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès