Título

On the Automated Correction of Faulty Security Protocols

Autor

JUAN CARLOS LOPEZ PIMENTEL

Nivel de Acceso

Acceso Abierto

Licencia

http://creativecommons.org/licenses/by-nc-nd/4.0

Materias

INGENIERÍA Y TECNOLOGÍA - (CTI) CIENCIAS TECNOLÓGICAS - (CTI) TECNOLOGÍA DE LOS ORDENADORES - (CTI) INFORMÁTICA - (CTI)

Resumen o descripción

Un Protocolo de Seguridad se usa para establecer una comunicación segura entre dos o más agentes a pesar de condiciones adversas. Crímenes tales como la usurpación de identidades o accesos no autorizados a la información han provocado incontables pérdidas económicas especialmente cuando se realizan transacciones electrónicas. Por ese motivo, la comunidad de los métodos formales ha puesto un interés especial en la verificación de protocolos de seguridad, produciéndose en los últimos años una gran cantidad de técnicas y herramientas.

Editor

Instituto Tecnológico y de Estudios Superiores de Monterrey

Fecha de publicación

4 de enero de 2008

Tipo de publicación

Artículo

Recurso de información

http://hdl.handle.net/11285/572492

Formato

application/pdf

Idioma

Inglés

Audiencia

Investigadores

Repositorio Orígen

Repositorio Institucional del Tecnológico de Monterrey

Descargas

0