Title :
Towards a calculus for non repudiation protocols
Author :
Redouane, Abdesselam
Author_Institution :
Department of Computer Science and Engineering, College of Engineering, Al Ghurair University, Dubai, U.A.E.
Abstract :
We describe a calculus that is specific to non-repudiation protocols. The calculus uses the correspondence assertion of Woo and Lam, that is, if there is a non-repudiation of receipt there should be a corresponding non-repudiation of origin. The calculus is a subset of the Pi calculus. The basic constructs are modified in order to handle properties of non-repudiation. We offer a formal syntax and an operational semantics of the calculus. We show the usefulness of the calculus by describing Zhou optimistic protocol.
Keywords :
Calculus; Computer science; Digital signatures; Protocols; Semantics; Syntactics; Non repudiation protocols; Operational semantics; Pi calculus;
Conference_Titel :
Security and Cryptography (SECRYPT), 2011 Proceedings of the International Conference on
Conference_Location :
Seville, Spain
