Gavin Lowe
Más información
- Institución
- University of Oxford
- Conocido por
- El ataque al protocolo de clave pública de Needham–Schroeder (1995)
Informático que en 1995 encontró un ataque de intermediario en un protocolo de autenticación que llevaba diecisiete años sin que nadie lo rebatiera.
Needham y Schroeder publicaron su protocolo de clave pública en 1978, y había sido revisado a mano y con lógicas formales. Lowe lo modeló en el álgebra de procesos CSP, dejó buscar al comprobador de modelos FDR y obtuvo una traza de MITM en la que un participante honesto acaba hablando con quien no debe. El arreglo consistió en añadir una sola identidad a un mensaje; desde entonces el protocolo se llama Needham–Schroeder–Lowe.
El hallazgo se convirtió en el argumento de cabecera para verificar protocolos de seguridad con máquinas y no solo leyéndolos con cuidado. Después Lowe creó Casper, que traduce descripciones de protocolos a CSP para que menos gente tenga que escribir los modelos a mano.