Catherine Meadows
Meer info
- Verbonden aan
- U.S. Naval Research Laboratory
- Bekend van
- NRL Protocol Analyzer, Maude-NPA
Wiskundige bij het onderzoekslab van de Amerikaanse marine die formele analyse van cryptografische protocollen toepasbaar maakte op echte standaarden.
Haar NRL Protocol Analyzer uit de vroege jaren negentig was een van de eerste hulpmiddelen die achterwaarts zocht vanuit een ongewenste toestand, 'de aanvaller kent de sleutel', om te bepalen of die toestand bereikbaar is. Eind jaren negentig richtte ze het op IKE, de sleuteluitwisseling achter IPsec, en vond zwakheden en dubbelzinnigheden in een specificatie die al in routers draaide.
De opvolger Maude-NPA, gebouwd met Santiago Escobar en José Meseguer, kan overweg met algebraïsche eigenschappen zoals XOR en Diffie-Hellman-machtsverheffing: precies de details die eenvoudiger modellen wegabstraheren en aanvallers niet.