SciELO - Scientific Electronic Library Online

vol.12 issue1An Overview of Argumentation SemanticsAmbient Computing Research for Healthcare: Challenges, Opportunities and Experiences author indexsubject indexsearch form
Home Pagealphabetic serial listing  

Services on Demand




Related links

  • Have no similar articlesSimilars in SciELO


Computación y Sistemas

Print version ISSN 1405-5546


LOPEZ PIMENTEL, Juan Carlos  and  MONROY, Raúl. Formal Support to Security Protocol Development: A Survey. Comp. y Sist. [online]. 2008, vol.12, n.1, pp.89-108. ISSN 1405-5546.

Security protocols aim to allow two or more principals to establish a secure communication over a hostile network, such as the Internet. The design of security protocols is particularly error-prone, because it is difficult to anticipate what an intruder may achieve interacting through a number of protocol runs, claiming to be an honest participant. Thus, the verification of security protocols has attracted a lot of interest in the formal methods community and as a result lots of verification techniques/tools, as well as good practices for protocol design, have appeared in the two last decades. In this paper, we describe the state of the art in automated tools that support security protocol development. This mainly involves tools for protocol verification and, to a lesser extent, for protocol synthesis and protocol diagnosis and repair. Also, we give an overview of the most significant principles for the design of security protocols and of the major problems that still need to be addressed in order to ease the development of security protocols.

Keywords : Formal methods; security protocols; protocol synthesis; protocol diagnosis and repair.

        · abstract in Spanish     · text in English     · English ( pdf )


Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License