Resumen de Gestión de protocolos de seguridad en internet. Desarrollo y validación de un protocolo de seguridad en el marco iskamp
Partiendo del protocolo de seguridad ISAKMP se realizan diversas contribuciones que permiten mejorar la seguridad de las comunicaciones a través de Internet.
Se elabora una lógica complementaria a BAN que haga posible la validación de los protocolos englobados en IKE y que supone un avance no sólo para la validación de IKE, sino también para la validación de protocolos de seguridad basados en técnicas de conocimiento nulo.
En el marcodeterminado por ISALMP se ha desarrollado un nuevo modo fase 1, modo generador, que permite aumentar la seguridad y la validez des establecimiento de asociaciones de seguridad. Se determina cuál debe ser el generador pseudoaleatorio por defecto que implemente el nuevo modo. Se ha llevado a cabo la implementación del protocolo de micropago Pay World sobre los protocolos AM, ESP e IKE.
