Automated Synthesis of Multiparty Rational Exchange Security Protocols

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.

Automated Synthesis of Multiparty Rational Exchange Security Protocols Articles