Back to University of Twente portal
On the quest for impartiality: design and analysis of a fair non-repudiation protocol
Cederquist, Jan and Corin, Ricardo and Dashti, Muhammad Torabi (2005) On the quest for impartiality: design and analysis of a fair non-repudiation protocol. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 320Kb |
| Abstract: | We design and analyze a simple optimistic fair non-repudiation protocol. Our protocol is considerably simpler and more efficient than current proposals, due mainly to the avoidance of using session labels. We model-check both safety and liveness properties. We verify the safety properties using a standard intruder, and the liveness properties using an intruder that respects the resilient communication channels assumption. Finally, to provide further confidence in the protocol we expose several vulnerabilities on weaker versions of our protocol. |
| Item Type: | Report |
| Copyright: | © 2005 CTIT |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/57031 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 248106