Abdesselam Redouane. Towards a Calculus for Non Repudiation Protocols. In Javier Lopez, Pierangela Samarati, editors, SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18 - 21 July, 2011, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications. pages 383-386, SciTePress, 2011.
Abstract is missing.