Eugen Zalinescu. Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert. (Security of cryptographic protocols: decidability and transfer resultats). PhD thesis, Henri Poincaré University, Nancy, France, 2007. [doi]
Abstract is missing.