Fomentar la seguridad y la velocidad de Internet
El proyecto AVISPA se centró en técnicas y herramientas avanzadas para el análisis de protocolos sensibles a la seguridad utilizados como soporte de la próxima generación de aplicaciones distribuidas por Internet. Uno de los principales objetivos fue el diseño de un lenguaje de alto nivel para la descripción de protocolos de seguridad de Internet Sobre la base de elementos de semántica formal, este lenguaje facilita la traslación de descripciones de protocolos muy técnicos a un formato más declarativo que podría constituir la base del análisis formal. El lenguaje de descripción de protocolos de alto nivel (HLPSL) permite describir sucesiones de protocolos de Internet, objetivos de seguridad y supuestos sobre el entorno. Se caracteriza por una mayor modularidad que permite especificar pautas complejas de flujos de control, estructuras de datos y distintos modelos de intrusos. La combinación de un lenguaje formal con una semántica lógica temporal ofrece más capacidades de usos diversos y una expresividad adecuada. Al satisfacer las necesidades tanto de ingenieros como de diseñadores de protocolos para organismos de normalización, el HLPSL ha demostrado su eficacia como herramienta para la elaboración de modelos de protocolos de seguridad. Su fácil manejo proporciona una mayor flexibilidad que permite al usuario construir modelos fiables y explorar diferentes supuestos sobre el entorno de ejecución del protocolo. Para más información, visite: http://www.avispa-project.org(se abrirá en una nueva ventana)
