|
Archivo Abierto Institucional de la Universidad Carlos III de Madrid >
Investigación >
Departamentos >
Departamento de Informática >
Grupo de Seguridad de las Tecnologías de la Información y de las Comunicaciones >
DI - SETI - Artículos en Congresos Internacionales >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10016/14431
|
| Title: | Nature-inspired synthesis of rational protocols |
| Author(s): | Alcaide, Almudena
Estévez-Tapiador, Juan M.
Hernández-Castro, Julio C.
Ribagorda, Arturo |
| Publisher: | Springer |
| Issued date: | 2008 |
| Citation: | Günter Rudolph et a. (eds.), Parallel problem solving from nature, PPSN X. 10th International Conference, Dortmund, Germany, September 13-17, 2008 (pp. 981-990). Proceedings. Berlin: Springer, 2008 |
| URI: | http://hdl.handle.net/10016/14431 |
| ISBN: | 3-540-87699-5
978-3-540-87699-1 |
| ISSN: | 0302-9743 (Print)
1611-3349 (Online) |
| DOI: | http://dx.doi.org/10.1007/978-3-540-87700-4_97 |
| Description: | Proceedings of: 10th International Conference on Parallel Problem Solving from Nature (PPSN 2008), Dortmund, Germany, September 13-17, 2008. |
| Abstract: | Rational cryptography is an emerging field which combines aspects traditionally related to security with concepts described in economic theoretical frameworks. For example, it applies game theory concepts to address security problems arising when executing cryptographic protocols. The aim is to replace the assumption of a worst-case attacker by the notion of rational agents that try to maximize their payoffs. In this work, we define a formal framework and a meta--heuristic technique for the automated synthesis of multi-party rational exchange security (M-RES) protocols. We provide experimental results for a simple scenario where a 3-party rational exchange protocol is automatically designed. |
| Serie / Nº.: | Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
5199 |
| Publisher version: | http://dx.doi.org/10.1007/978-3-540-87700-4_97 |
| Keywords: | Evolutionary computation
Protocol automated design
Rational protocols
Protocol synthesis
Rational exchange |
| Rights: | © Springer |
| Appears in Collections: | DI - SETI - Capítulos de Monografías
DI - SETI - Artículos en Congresos Internacionales
|
Items in E-Archivo are protected by copyright, with all rights reserved, unless otherwise indicated.
|
