Automated Synthesis of Multiparty Rational Exchange Security Protocols Articles uri icon

publication date

  • December 2008

start page

  • 312

end page

  • 321


  • 4


  • 4

International Standard Serial Number (ISSN)

  • 1751-1461

Electronic International Standard Serial Number (EISSN)

  • 1751-147X


  • It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness but it ensures that, rational (i.e. self&-interested) parties would have no reason to deviate from the protocol as misbehaving does not have a beneficial result. The common understanding of rationality as a security property has encouraged researchers to look for methods to formally analyze and categorize rational protocols. By contrast, in this paper we adopt a completely new approach and we present an automated tool for the design of multi&-party rational exchange security protocols. Given a specific set of initial goals the tool performs a heuristic search in the space of exchanging protocols, producing a rational exchange scheme as a solution. As this is work in progress, we will present the first results obtained executing the application in a three entity environment and a total set of six exchanging items. This article extends previous work [3] including a formal study based on theory of landscapes, which will allow us to measure the effectiveness of our protocol design methodology.