Title

On the Automated Correction of Faulty Security Protocols

Author

JUAN CARLOS LOPEZ PIMENTEL

Access level

Open Access

Summary or description

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.

Publisher

Instituto Tecnológico y de Estudios Superiores de Monterrey

Publish date

January 4, 2008

Publication type

Article

Information Resource

Format

application/pdf

Language

English

Audience

Researchers

Source repository

Repositorio Institucional del Tecnológico de Monterrey

Downloads

0

Comments



You need to sign in or sign up to comment.