Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy

Hanane Houmani, Mohamed Mejri. Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy. In Eduardo Fernández-Medina, Manu Malek, Javier Hernando, editors, SECRYPT 2008, Proceedings of the International Conference on Security and Cryptography, Porto, Portugal, July 26-29, 2008, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications. pages 184-189, INSTICC Press, 2008.

Abstract

Abstract is missing.