Майкл Бэрроуз (Michael Burrows)
Подробнее
- Организация
- DEC Systems Research Center, Google
- Известен благодаря
- BAN-логика, преобразование Барроуза — Уилера, Chubby
Учёный, стоящий за BAN-логикой для протоколов аутентификации и — почти между делом — за преобразованием Барроуза — Уилера.
BAN-логика (1989, с Мартином Абади и Роджером Нидэмом) была одной из первых серьёзных попыток формально рассуждать о том, во что вправе верить участники протокола аутентификации после каждого сообщения. Она выявила изъяны в опубликованных протоколах и положила начало всей области формальной верификации протоколов, включая анализ Kerberos.
В 1994 году вместе с Дэвидом Уилером он описал блочно-сортирующее преобразование, на котором позднее появился bzip2. Он же написал индексатор AltaVista и, уже в Google, сервис блокировок Chubby. Мало у кого библиография настолько широка при столь малом числе пресс-релизов.