See this document in CiteSeerX!

Approaching a Formal Definition of Fairness in Electronic Commerce  (Make Corrections)  
Felix Gärtner, Henning Pagnia, Holger Vogt



  Home/Search   Context   Related

 
View or download:
i4.informatik.rwth...elcom99slides.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  i4.informatik.rwthaac...talks.de (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: an's "weak fairness" as a liveness property. Eventually Strong Fairness . Asokan's "weak fairness" as a liveness property. . Eventually an unfair situation is resolved within the system. Eventually Strong Fairness . Asokan's "weak fairness" as a liveness property. . Eventually an unfair situation is resolved within the system. . Necessary: additional assumptions about the parties. Eventually Strong Fairness . Asokan's "weak fairness" as a liveness property. . Eventually an unfair... (Update)

Similar documents (at the sentence level):
46.6%:   Approaching a Formal Definition of Fairness in Electronic.. - Gärtner, Pagnia, Vogt   (Correct)

Active bibliography (related documents):   More   All
0.1:   Breaking Abstractions and Unstructuring Data Structures - Collberg, Thomborson, Low (1998)   (Correct)
0.1:   A Taxonomy of Obfuscating Transformations - Collberg, Thomborson, Low (1997)   (Correct)
0.1:   Manufacturing Cheap, Resilient, and Stealthy Opaque.. - Collberg, Thomborson, Low (1998)   (Correct)

Similar documents based on text:   More   All
0.3:   Modular Fair Exchange Protocols for Electronic Commerce - Vogt, Pagnia, Gärtner (1999)   (Correct)
0.3:   Solving Fair Exchange with Mobile Agents - Pagnia, Vogt, Gärtner, Wilhelm (2000)   (Correct)
0.3:   Using Smart Cards for Fair Exchange - Vogt, Pagnia, Gärtner (2001)   (Correct)

BibTeX entry:   (Update)

@misc{ rtner-approaching,
  author = "Felix Gärtner and Henning Pagnia and Holger Vogt",
  title = "Approaching a Formal Definition of Fairness in Electronic Commerce",
  url = "citeseer.ist.psu.edu/717619.html" }
Citations (may not include all citations):
157   Proving the correctness of multiprocess programs (context) - Lamport - 1977
66   Enforceable security policies - Schneider - 1998
37   Fairness in electronic commerce - Asokan - 1998
28   Analysis of a fair exchange protocol - Shmatikov, Mitchell - 1999
17   the impossibility of fair exchange without a trusted third p.. - Pagnia, artner et al. - 1999
6   Cryptographically protected objects - Wilhelm - 1997

Documents on the same site (http://www-i4.informatik.rwth-aachen.de/lufg/publications/talks.de.html):   More
Formalization and Verification of Fault Tolerance and Security - Gärtner (2001)   (Correct)
Reasoning about Security Properties: Safety, Liveness and beyond - Gärtner (2002)   (Correct)
A Fault-Classification Scheme Based on Safety and Liveness - Gärtner (2000)   (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