Michael Burrows
Więcej informacji
- Afiliacja
- DEC Systems Research Center, Google
- Znany z
- Logika BAN, transformata Burrowsa–Wheelera, Chubby
Informatyk, autor logiki BAN dla protokołów uwierzytelniania – a niemal przy okazji także transformaty Burrowsa–Wheelera.
Logika BAN (1989, wraz z Martínem Abadim i Rogerem Needhamem) była jedną z pierwszych poważnych prób formalnego rozumowania o tym, w co mogą wierzyć strony protokołu uwierzytelniania po każdej wiadomości. Wykryła błędy w opublikowanych protokołach i zapoczątkowała całą dziedzinę formalnej weryfikacji protokołów, w tym analizy Kerberosa.
W 1994 roku wraz z Davidem Wheelerem opisał transformatę sortującą bloki, która później umożliwiła powstanie bzip2. Napisał też indekser AltaVisty, a w Google – usługę blokad Chubby. Niewielu ludzi ma tak szeroką bibliografię przy tak małej liczbie komunikatów prasowych.