Normal Proofs in Intruder Theories. - Vincent Bernat; Hubert Comon-Lundh (ASIAN, 2006)

Théories de l'intrus pour la vérification des protocoles cryptographiques. (Intruder theories for the verification of cryptographic protocols). - Vincent Bernat (2006)