DocumentCode
680142
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.
fYear
2011
fDate
18-21 July 2011
Firstpage
383
Lastpage
386
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Cryptography (SECRYPT), 2011 Proceedings of the International Conference on
Conference_Location
Seville, Spain
Type
conf
Filename
6732418
Link To Document