Steve Kremer, Jean-François Raskin  Home/Search
Context Related
| ulb.ac.be/di/scsi/s...gameNRextended.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ulb.ac.be/di/ssd/jfr/ (more) Homepages: S.Kremer |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we report on a recent work for the verification of non-repudiation protocols. We propose a verification 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... (Update)
Cited by: More
Analysis of a Multi-Party Fair Exchange - Protocol And Formal (Correct)
Game Analysis of Abuse-free Contract Signing - Kremer, Raskin (2002) (Correct)
Contract Signing, Optimism, and Advantage - Chadha, Mitchell, Scedrov.. (Correct)
Similar documents (at the sentence level):
32.5%: A Game-Based Verification of Non-Repudiation and Fair.. - Kremer, Raskin (2001) (Correct)
11.1%: Formal Verification of Non-Repudiation Protocols - A Game.. - Kremer, Raskin (2000) (Correct)
6.2%: A Game Approach to the Verification of Exchange Protocols.. - Kremer, Raskin (2000) (Correct)
Active bibliography (related documents): More All
1.1: An Intensive Survey of Non-Repudiation Protocols - Kremer, Markowitch, Zhou (2002) (Correct)
0.7: On Fairness in Exchange Protocols - Markowitch, Gollmann, Kremer (2002) (Correct)
0.5: An Intensive Survey of Fair Non-Repudiation Protocols - Kremer, Markowitch, Zhou (2002) (Correct)
Similar documents based on text: More All
0.3: Cellular Automata for Reactive Systems - Weimar (1995) (Correct)
0.3: An Optimistic Non-Repudiation Protocol with Transparent.. - Markowitch, Kremer (2001) (Correct)
Related documents from co-citation: More All
9: Optimistic Protocols for Fair Exchange - Asokan, Schunter et al. - 1997
7: Inductive methods and contract-signing protocols - Chadha, Kanovich et al. - 2001
6: Abuse-free optimistic contract signing - Garay, Jakobsson et al. - 1999
BibTeX entry: (Update)
S. Kremer and J.-F. Raskin. A game-based verification of non-repudiation and fair exchange protocols. In K. Larsen and M. Nielsen, editors, Concurrency Theory - Concur http://citeseer.ist.psu.edu/655881.html More
@article{ kremer01gamebased,
author = "Steve Kremer and Jean-Fran{\c{c}}ois Raskin",
title = "A Game-Based Verification of Non-repudiation and Fair Exchange Protocols",
journal = "Lecture Notes in Computer Science",
volume = "2154",
pages = "551+",
year = "2001",
url = "citeseer.ist.psu.edu/655881.html" }
Citations (may not include all citations):322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
143 Proving properties of security protocols by induction - Paulson - 1997
131 Optimistic fair exchange of digital signatures - Asokan, Shoup et al. - 1998
119 Alternating-time temporal logic - Alur, Henzinger et al. - 1997
100 Optimistic protocols for fair exchange - Asokan, Schunter et al. - 1997
93 An attack on the Needham-Schroeder public-key authentication.. - Lowe - 1995
80 Mocha: modularity in model checking - Alur, Henzinger et al. - 1998
60 Asynchronous protocols for optimistic fair exchange - Asokan, Shoup et al. - 1998
55 Analyzing the Needham-Schroeder public-key protocol: A compa.. - Meadows - 1996
32 Formal analysis of a non-repudiation protocol - Schneider - 1998
30 IEEE Transactions on Information Theory (context) - Ben-Or, Goldreich et al. - 1990
29 Secure broadcasting using the secure lock (context) - Chiou, Chen - 1989
28 Analysis of a fair exchange protocol - Shmatikov, Mitchell - 2000
25 Finite-state analysis of two contract signing protocols - Shmatikov, Mitchell - 2001
25 Probabilistic non-repudiation without trusted third party - Markowitch, Roggeman - 1999
21 Timed commitments (context) - Boneh, Naor - 2000
20 Abstract interpretation of game properties (context) - Henzinger, Manjumdar et al. - 2000
17 Fair exchange of secrets (context) - Tedrick - 1985
14 Relations among public key signature systems (context) - Even, Yacobi - 1980
12 Optimistic non-repudiable information exchange - Kremer, Markowitch - 2000
12 A game-based verification of non-repudiation and fair exchan.. - Kremer, Raskin - 2001
11 Analysis of abuse-free contract signing - Shmatikov, Mitchell - 1962
10 cient non-repudiation protocol (context) - Zhou, Gollmann - 1997
10 mail with invisible post o#ces (context) - Micali - 1997
9 Towards verification of non-repudiation protocols - Zhou, Gollmann - 1998
7 from proceedings of the royal society (context) - Burrows, Abadi et al. - 1989
7 Some remarks on a fair exchange protocol (context) - Zhou, Deng et al. - 2000
6 Exploring fair exchange protocols using specification animat.. - Boyd, Kearney
6 How to exchange half a bit (context) - Tedrick - 1984
6 A multi-party optimistic non-repudiation protocol - Markowitch, Kremer - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ulb.ac.be/di/ssd/jfr/): More
Real-Time Model-Checking: Parameters Everywhere - Bruyère, Raskin (Correct)
Systemes Hybrides Et Temps-Reel : Analyse Et Contr^ole - Jean-Fran Cois Raskin (Correct)
Almost ASAP Semantics: from Timed Models to Timed.. - De Wulf, Doyen, Raskin (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC