%0 Journal Article
%T A Calculus for Non Repudiation Protocols
%A Abdesselam Redouane
%J International Journal of Computer Science Issues
%D 2013
%I IJCSI Press
%X 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 main contribution of this work lies in the way we model input and output and hence captures non-repudiation properties. 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.
%K Non repudiation protocols
%K Pi calculus
%K operational semantics
%K IJCSI
%U http://www.ijcsi.org/papers/IJCSI-10-1-3-357-362.pdf