Mathieu Baudet. Sécurité des protocoles cryptographiques : aspects logiques et calculatoires. (Security of cryptographic protocols : logical and computational aspects). PhD thesis, École normale supérieure de Cachan, France, 2007. [doi]
Abstract is missing.