L. Butty an, J.-P. Hubaux, and S. Capkun. A formal analysis of Syverson's rational exchange protocol. IEEE Computer Security Foundations Workshop (CSFW), June 2002. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Report on a Working Session on Security in Wireless Ad Hoc.. - Buttyán, Hubaux (2002) (3 citations) Self-citation (Hubaux) (Correct)
....leading to a deeper understanding of the concept of rational exchange and its relationship to fair exchange, our formalism can also be used to formally verify existing rational exchange protocols. We illustrate this by analyzing a rational exchange protocol proposed in the literature by Syverson [7]. Our analysis leads to the conclusion that Syverson s protocol is rational only under the assumption that the network is reliable, which means that it delivers messages within a constant time interval; if this assumption is removed, then the rationality property is lost. This work is relevant in ....
L. Butty an, J.-P. Hubaux, and S. Capkun. A formal analysis of Syverson's rational exchange protocol. IEEE Computer Security Foundations Workshop (CSFW), June 2002.
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