Tamarin Prover es un programa de software para la verificación formal de protocolos criptográficos . Se ha utilizado para verificar Transport Layer Security 1.3, [1] ISO / IEC 9798, [2] y DNP3 Secure Authentication v5. [3] [4] [5] [6]
Autor (es) original (es) | David Basin, Cas Cremers , Jannik Dreier, Simon Meier, Ralf Sasse, Benedikt Schmidt |
---|---|
Desarrollador (es) | Cas Cremers , Jannik Dreier y Ralf Sasse |
Versión inicial | 24 de abril de 2012 |
Lanzamiento estable | 1.4.1 / 18 de enero de 2019 |
Repositorio | github |
Escrito en | Haskell |
Sistema operativo | Linux , macOS |
Disponible en | inglés |
Tipo | Razonamiento automatizado |
Licencia | GNU GPL v3 |
Sitio web | probador de tamarinos |
Referencias
- ^ Cremers, Cas; Horvat, Marko; Scott, Sam; van der Merwe, Thyla (2016). "Análisis y verificación automatizados de TLS 1.3: 0-RTT, reanudación y autenticación retardada" . Simposio IEEE sobre seguridad y privacidad, 2016, San José, CA, EE. UU., 22-26 de mayo de 2016 . IEEE S&P 2016. págs. 470–485. doi : 10.1109 / SP.2016.35 . ISBN 978-1-5090-0824-7.
- ^ Cuenca, David; Cremers, Cas; Meier, Simon (2013). "Reparación comprobable del estándar ISO / IEC 9798 para la autenticación de entidades" (PDF) . Revista de seguridad informática . 21 (6): 817–846. doi : 10.3233 / JCS-130472 .
- ^ Cremers, Cas ; Dehnel-Wild, Martin; Milner, Kevin (2017). "Autenticación segura en la red: un análisis formal de DNP3: SAv5" (PDF) . Seguridad informática - ESORICS 2017 - 22 Congreso Europeo sobre Investigación en Seguridad Informática, Oslo, Noruega, Septiembre 11-15, 2017, Actas, Parte I . ESORICS 2017 . Oslo, Noruega: Springer. págs. 389–407. doi : 10.1007 / 978-3-319-66402-6_23 . ISBN 978-3-319-66401-9.
- ^ Schmidt, Benedikt; Meier, Simon; Cremers, Cas ; Cuenca, David (2012). "Análisis automatizado de protocolos Diffie-Hellman y propiedades de seguridad avanzadas" (PDF) . 25o Simposio de Fundamentos de Seguridad Informática de IEEE, CSF 2012, Cambridge, MA, EE. UU., 25-27 de junio de 2012 . CSF 2012. Cambridge, MA: IEEE Computer Society. págs. 78–94.
- ^ Schmidt, Benedikt (2012). Análisis formal de protocolos de intercambio de claves y protocolos físicos (tesis doctoral). doi : 10.3929 / ethz-a-009898924 .
- ^ Meier, Simon (2012). Avanzando en la verificación automatizada del protocolo de seguridad (tesis doctoral). doi : 10.3929 / ethz-a-009790675 .