MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A Game-Based Verication of Non-Repudiation and Fair Exchange Protocols

Download:
Download as a PDF | Download as a PS
by Steve Kremer
http://www.ulb.ac.be/di/scsi/skremer/concur01.ps
Add To MetaCart

Abstract:

Abstract. In this paper, we report on a recent work for the verication of non-repudiation protocols. We propose a verication method based on the idea that non-repudiation protocols are best modeled as games. To formalize this idea, we use alternating transition systems, a game based model, to model protocols and alternating temporal logic, a game based logic, to express requirements that the protocols must ensure. This method is automated by using the model-checker Mocha, a model-checker that supports the alternating transition systems and the alternating temporal logic. Several optimistic protocols are analyzed using Mocha. 1

Citations

242 Alternating-Time Temporal Logic – Alur, Henzinger, et al. - 1998
142 Optimistic protocols for fair exchange – Asokan, Schunter, et al.
142 Proving properties of security protocols by induction – Paulson - 1997
110 Asynchronous protocols for optimistic fair exchange – Asokan, Shoup, et al. - 1998
110 A fair non-repudiation protocol – Zhou, Gollmann - 1996
65 An attack on the Needham-Schroeder public-key protocol – Lowe - 1994
52 Analyzingthe Needham-Schroeder public-key protocol: A comparison of two approaches – Meadows - 1996
40 Formal Analysis of a Non-Repudiation Protocol – Schneider - 1998
14 Exploring fair exchange protocols using specification animation – Boyd, Kearney - 2000
14 Analysis of Abuse-Free Contract Signing – Shmatikov, Mitchell - 2000
13 Optimistic Non-repudiable Information Exchange – Kremer, Markowitch
12 A logic of authentication, from proceedings of the royal society, volume 426, number 1871 – Burrows, Abadi, et al. - 1989
12 Abstract interpretation of game properties – Henzinger, Manjumdar, et al. - 2000
8 A multi-party optimistic non-repudiation protocol – Markowitch, Kremer - 2000
3 Towards Veri of Non-repudiation Protocols – Zhou, Gollmann - 1998
2 A game-based veri of non-repudiation and fair exchange protocols – Kremer, Raskin - 2001
View or Download | Add to My Collection | Correct Errors