On the quest for impartiality: Design and analysis of a fair non-repudiation protocol

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3783 LNCS, Issue , 2005, Pages 27-39

  Cederquist, J ^a   Corin, R ^a   Torabi Dashti, M ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

NON-REPUDIATION PROTOCOL; SESSION LABELS; VULNERABILITIE;

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER CRIME; COMPUTER SYSTEMS PROGRAMMING; SECURITY OF DATA;

NETWORK PROTOCOLS;

EID: 33646736777     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11602897_3     Document Type: Conference Paper

References (21)

1. N. Asokan. Fairness in electronic commerce. PhD thesis, University of Waterloo, 1998.
2. N. Asokan, M. Schunter, and M. Waidner. Optimistic protocols for fair exchange. In 4th ACM Conference on Computer and Communications Security, pages 7-17. ACM Press, 1997.
3. G. Bella and L. C. Paulson, Mechanical proofs about a non-repudiation protocol. In R. J. Boulton and P. B. Jackson, editors, TPHOLs 2001, volume 2152 of LNCS, pages 91-104. Springer-Verlag, September 2001.
4. C. Boyd and P. Kearney. Exploring fair exchange protocols using specification animation. In Information Security Workshop (ISW), volume 1975 of LNCS, pages 209-223. Springer-Verlag, 2000.
5. J. Cederquist, R. Corin, and M. Torabi Dashti. On the quest for impartiality: Design and analysis of a fair non-repudiation protocol (extended version). Technical Report TR-CTIT-05-32, University of Twente, The Netherlands, 2005.
6. J. Cederquist and M. Torabi Dashti. An intruder model for verifying termination in security protocols. Technical Report TR-CTIT-05-29, University of Twente, Enschede, The Netherlands, 2005.
7. I. Cervesato. The Dolev-Yao Intruder is the Most Powerful Attacker. In J. Halpern, editor, LICS'01, Boston, MA, 16-19 June 2001. IEEE Computer Society Press.
8. D. Dolev and A.C. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, IT-29(2): 198-208, March 1983.
9. J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP: A protocol validation and verification toolbox. In R. Alur and T. A. Henzinger, editors, Proceedings of the 8th Conference on Computer-Aided Verification, volume 1102 of LNCS, pages 437-440. Springer-Verlag, 1996.
10. J. Ferrer-Gomila, M. Payeras-Capella;, and L. Huguet i Rotger. A realistic protocol for multi-party certified electronic mail. In Proceedings of the 5th International Conference on Information Security, pages 210-219, UK, 2002. Springer-Verlag.
11. J. L. Ferrer-Gomila and L. H. Rotger. An efficient asynchronous protocol for optimistic certified mail. In International Workshop on Cryptographic Techniques and E-Commerce (Cryptec), 1999.
12. J. F. Groote and A. Ponse. The syntax and semantics of μCRL. In A. Ponse, C. Verhoef, and S. F. M. van Vlijmcn, editors, Algebra of Communicating Processes '94, Workshops in Computing Series, pages 26-62. Springer-Verlag, 1995.
13. S. Gürgens, C. Rudolph, and M. Vogt. On the security of fair non-repudiation protocols. In Information Security Conference (ISC), volume 2851 of LNCS, pages 193-207. Springer, 2003.
14. S. Kremer, O. Markowitch, and J. Zhou. An intensive survey of non-repudiation protocols. Computer Communications, 25(17):1606-1621, November 2002.
15. S. Kremer and J. Raskin. A game-based verification of non-repudiation and fair exchange protocols. In K. Larsen and M. Nielsen, editors, Proceedings of the 12th International Conference on Concurrency Theory, volume 2154 of LNCS, pages 551-565. Springer-Verlag, 2001.
16. R. Mateescu and M. Sighireanu. Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program., 46(3):255-281, 2003.
17. C. Meadows. Formal methods for cryptographic protocol analysis: Emerging issues and trends. IEEE Journal on Selected Areas in Communication, 21(2):44-54, 2003.
18. H. Pagnia and F. C. Gärtner. On the impossibility of fair exchange without a trused third party. Technical Report TUD-BS-1999-02, Darmstadt University, 1999.
19. V. Shmatikov and J. C. Mitchell. Finite-state analysis of two contract signing protocols. Theoretical Computer Science, 283(2):419-450, 2002.
20. J. Zhou. On the security of a multi-party certified email protocol. In Proc. ICICS'04, volume 3269 of Lecture Notes in Computer Science, pages 40-52. Springer, 2004.
21. J. Zhou and D. Gollmann. A fair non-repudiation protocol. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 55-61, Oakland, CA, 1996. IEEE Computer Society Press.