Towards Automated Design of Multi-party Rational Exchange Security Protocols

  • Authors:
  • Almudena Alcaide;Juan M. Estevez-Tapiador;Julio C. Hernandez-Castro;Arturo Ribagorda

  • Affiliations:
  • -;-;-;-

  • Venue:
  • WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 is not beneficial. 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 as we present an automated tool to design multi-party rational exchange security protocols. Given a specific set of initial parameters the tool performs an 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.