Hispanopedia WikiCryptoVerif es una herramienta de software para el razonamiento automático sobre protocolos de seguridad escrita por Bruno Blanchet. [1]
Mecanismos criptográficos soportados
Proporciona un mecanismo para especificar los supuestos de seguridad en primitivas criptográficas , que pueden manejar en particular
- cifrado simétrico ,
- códigos de autenticación de mensajes ,
- cifrado de clave pública ,
- firmas ,
- funciones hash .
Seguridad del hormigón
CryptoVerif pretende evaluar la probabilidad de un ataque exitoso contra un protocolo en relación con la probabilidad de romper cada primitiva criptográfica, es decir, puede establecer una seguridad concreta .
Referencias
- ^ Bruno Blanchet. Un probador mecanizado computacionalmente sólido para protocolos de seguridad. En Simposio IEEE sobre seguridad y privacidad, páginas 140-154, Oakland, California, mayo de 2006.
Enlaces externos
- Sitio web oficial
