Кэтрин Медоуз
Подробнее
- Организация
- U.S. Naval Research Laboratory
- Известна как
- NRL Protocol Analyzer, Maude-NPA
Математик из исследовательской лаборатории ВМС США, сделавшая формальный анализ криптографических протоколов применимым к реальным стандартам.
Её NRL Protocol Analyzer начала 1990-х стал одним из первых инструментов, ищущих в обратном направлении от нежелательного состояния — «атакующий знает ключ» — чтобы выяснить, достижимо ли оно вообще. В конце 1990-х она применила его к IKE, обмену ключами в IPsec, и нашла слабости и неоднозначности в спецификации, уже работавшей в маршрутизаторах.
Его преемник Maude-NPA, созданный совместно с Сантьяго Эскобаром и Хосе Месегером, учитывает алгебраические свойства вроде XOR и возведения в степень по Диффи — Хеллману — именно те детали, которые простые модели опускают, а атакующие нет.