Felix Gärtner, Henning Pagnia, Holger Vogt  Home/Search
Context
Related
| i4.informatik.rwth...elcom99slides.pdf 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: i4.informatik.rwthaac...talks.de (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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