Observaciones sobre las técnicas de análisis formal de protocolos de seguridad

TitleObservaciones sobre las técnicas de análisis formal de protocolos de seguridad
Publication TypeConference Paper
Year of Publication2002
AuthorsJ. Lopez, S. Matamoros, J. J. Ortega, and J. M. Troya
Conference NameVII Reunión Española sobre Criptología y Seguridad de la Información (VII RECSI)
Pagination471-483
Date PublishedSeptiembre
Conference LocationOviedo, Espa
Abstract

La aplicación de los métodos formales para el diseño y análisis de sistemas críticos está ampliamente aceptada en el desarrollo de estos sistemas. Los protocolos de seguridad abordan el objetivo de garantizar servicios y derechos como el de la confidencialidad de los datos personales o el de garantizar la identidad de acceso a un sistema. Por lo tanto, ya que un protocolo de seguridad es un sistema crítico, es necesario utilizar métodosformales para su diseño y análisis. Debido a las características especiales que presentan este tipo de protocolos, se deben utilizar métodos que no son los tradicionales utilizados para los protocolos de comunicaciones, sino que deben utilizarse otros específicos. En este artículo vamos a hacer un estudio de las principales propiedades de seguridad que poseen los protocolos criptográficos y de la manera de aplicar los métodos formales en su diseño y análisis.

Citation KeyJavierLopez2002h
Paper File: 
https://nics.uma.es:8082/sites/default/files/papers/JavierLopez2002h.pdf