Artículo

Soporte Formal para el Desarrollo de Protocolos de Seguridad: una Visión General

Centro de Investigación en Computación, Dirección General de Servicios de Cómputo Académico, IPN, publicado en Computación y Sistemas, y cosechado de Revistas UNAM

Procedencia del contenido

Entidad o dependencia
Centro de Investigación en Computación, Dirección General de Servicios de Cómputo Académico, IPN
Revista
Repositorio
Contacto
Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

Cita

Soporte Formal para el Desarrollo de Protocolos de Seguridad: una Visión General. Computación y Sistemas; Vol 12, No 001, 2008. Recuperado de https://repositorio.unam.mx/contenidos/29443

Descripción del recurso

Colaborador(es)
Monroy, Raúl ; López Pimentel, Juan Carlos
Tipo
Artículo de Investigación
Área del conocimiento
Ciencias Sociales y Económicas
Título
Soporte Formal para el Desarrollo de Protocolos de Seguridad: una Visión General
Resumen
LOS PROTOCOLOS DE SEGURIDAD TIENEN COMO OBJETIVO PERMITIR QUE DOS O MÁS AGENTES PUEDAN ESTABLECER UNA COMUNICACIÓN DE MANERA SEGURA EN UNA RED A PESAR DE AMBIENTES HOSTILES, TALES COMO INTERNET. EL DISEÑO DE ESTOS PROTOCOLOS ES PARTICULARMENTE PROPENSO A ERRORES, POR ESO, ES DIFÍCIL ANTICIPAR LO QUE UN INTRUSO PUEDE LOGRAR CUANDO, PRETENDIENDO SER UN PARTICIPANTE HONESTO, INTERACTÚA CON UNA CANTIDAD CONSIDERABLE DE CORRIDAS DEL PROTOCOLO. ASÍ, LA VERIFICACIÓN DE PROTOCOLOS DE SEGURIDAD HA ATRAÍDO UN GRAN INTERÉS EN LA COMUNIDAD DE LOS MÉTODOS FORMALES, DANDO COMO RESULTADO LA APARICIÓN, EN LAS DOS ÚLTIMAS DÉCADAS, DE UNA GRAN CANTIDAD DE TÉCNICAS/HERRAMIENTAS, ADEMÁS DE BUENAS PRÁCTICAS PARA MEJORAR SU DISEÑO. EN ESTE ARTÍCULO, DESCRIBIMOS EL ESTADO DEL ARTE DE LAS HERRAMIENTAS AUTOMATIZADAS QUE SOPORTAN EL DESARROLLO DE PROTOCOLOS DE SEGURIDAD. PRINCIPALMENTE, INCLUIMOS HERRAMIENTAS PARA SU VERIFICACIÓN, Y EN MENOR GRADO, TRABAJOS SOBRE SU SÍNTESIS; ADEMÁS DE MÉTODOS EN EL DIAGNÓSTICO Y REPARACIÓN DE PROTOCOLOS INCORRECTOS. TAMBIÉN, DAMOS UN RESUMEN DE LOS PRINCIPIOS MÁS IMPORTANTES PARA MEJORAR EL DISEÑO DE ESTA CLASE DE PROTOCOLOS Y LOS PRINCIPALES PROBLEMAS QUE TODAVÍA NECESITAN SER RESUELTOS PARA FACILITAR SU DESARROLLO.
Tema
Métodos Formales; Protocolos De Seguridad; Síntesis De Protocolos; Diagnóstico Y Reparación De Protocolos
Idioma
spa
ISSN
1405-5546

Enlaces