Gavin Lowe
Meer info
- Verbonden aan
- University of Oxford
- Bekend van
- De aanval op het Needham-Schroeder-publiekesleutelprotocol (1995)
Computerwetenschapper die in 1995 een man-in-the-middle-aanval vond in een authenticatieprotocol dat zeventien jaar onaangevochten was gebleven.
Needham en Schroeder publiceerden hun publiekesleutelprotocol in 1978; het was met de hand en met formele logica's beoordeeld. Lowe modelleerde het in de procesalgebra CSP, liet de modelchecker FDR zoeken en kreeg een MITM-spoor terug waarin een eerlijke partij wordt misleid om met de verkeerde gesprekspartner te praten. De oplossing was één identiteit extra in één bericht; sindsdien heet het protocol Needham-Schroeder-Lowe.
Het resultaat werd het standaardargument om beveiligingsprotocollen machinaal te controleren in plaats van door nauwkeurig lezen. Lowe bouwde later Casper, dat protocolbeschrijvingen naar CSP compileert, zodat minder mensen de modellen met de hand hoeven te schrijven.