A formal model of rational exchange and its application to the analysis of Syverson s protocol

Levente ButtyƔn, Jean-Pierre Hubaux, Srdjan Capkun. A formal model of rational exchange and its application to the analysis of Syverson s protocol. Journal of Computer Security, 12(3-4):551-587, 2004.

Abstract

Abstract is missing.