University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Formal analysis of a non-repudiation protocol

Schneider, Steve A. (1998) Formal analysis of a non-repudiation protocol Proceedings of the 11th IEEE Computer Security Foundations Workshop. pp. 9-11.


Download (229kB)


This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols differ from authentication and key-exchange protocols in that the participants require protection from each other, rather than from an external hostile agent. This means that the kinds of properties that are required of such a protocol, and the way it needs to be modelled to enable analysis, are different to the standard approaches taken to the more widely studied class of protocols and properties. A non-repudiation protocol proposed by Zhou and Gollmann is analysed within this framework, and this highlights some novel considerations that are required for this kind of protocol.

Item Type: Article
Divisions : Faculty of Engineering and Physical Sciences > Computer Science
Authors :
Schneider, Steve
Date : 9 June 1998
Additional Information : Published in the Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998 June 9-11. © 1998 IEEE. This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. Click here for a full list of Steve Schneider's publications.
Depositing User : Mr Adam Field
Date Deposited : 27 May 2010 14:45
Last Modified : 06 Jul 2019 05:07

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800