Catherine Meadows
Maggiori informazioni
- Affiliazione
- U.S. Naval Research Laboratory
- Noto per
- NRL Protocol Analyzer, Maude-NPA
Matematica del laboratorio di ricerca della Marina statunitense che ha reso l'analisi formale dei protocolli crittografici applicabile agli standard reali.
Il suo NRL Protocol Analyzer, dei primi anni Novanta, è stato tra i primi strumenti a cercare a ritroso a partire da uno stato indesiderato («l'attaccante conosce la chiave») per stabilire se sia raggiungibile. Alla fine degli anni Novanta lo applicò a IKE, lo scambio di chiavi alla base di IPsec, trovando debolezze e ambiguità in una specifica già in uso nei router.
Il suo successore, Maude-NPA, sviluppato con Santiago Escobar e José Meseguer, gestisce proprietà algebriche come lo XOR e l'elevamento a potenza di Diffie–Hellman: proprio i dettagli che i modelli più semplici astraggono e che gli attaccanti no.