Repositorio abierto de protocolos de seguridad

SPORE , el Repositorio Abierto de Protocolos de Seguridad , es una biblioteca en línea de protocolos de seguridad con comentarios y enlaces a artículos. Cada protocolo se puede descargar en diversos formatos, incluyendo reglas para su uso con herramientas de verificación automática de protocolos. Todos los protocolos se describen utilizando la lógica BAN o el estilo empleado por Clark y Jacob, junto con sus objetivos. La base de datos incluye detalles sobre pruebas formales o ataques conocidos, con referencias a comentarios, análisis y artículos. Se incluye un gran número de protocolos, muchos de los cuales han demostrado ser inseguros.

Es una continuación del trabajo fundamental de John Clark y Jeremy Jacob . ^{[ 1 ]}

Buscan contribuciones para nuevos protocolos, enlaces y comentarios.

• nonce criptográfico
• Criptografía
• Lista de temas de criptografía .
• Criptografía de clave pública
• Listas cortas y largas de criptógrafos.
• Algoritmo de clave simétrica

• SPORE – Repositorio Abierto de Protocolos de Seguridad (2008)
• SPORE – Repositorio Abierto de Protocolos de Seguridad (2025)