Michael Burrows
Mais informações
- Vínculos
- DEC Systems Research Center, Google
- Conhecido por
- Lógica BAN, transformada de Burrows–Wheeler, Chubby
Cientista da computação por trás da lógica BAN para protocolos de autenticação — e, quase como projeto paralelo, da transformada de Burrows–Wheeler.
A lógica BAN (1989, com Martín Abadi e Roger Needham) foi uma das primeiras tentativas sérias de raciocinar formalmente sobre aquilo em que as partes de um protocolo de autenticação têm direito de acreditar após cada mensagem. Ela expôs falhas em protocolos publicados e deu início a todo o campo da verificação formal de protocolos, incluindo análises do Kerberos.
Em 1994, ele e David Wheeler descreveram a transformada de ordenação por blocos que depois viabilizou o bzip2. Também escreveu o indexador do AltaVista e, no Google, o serviço de bloqueio Chubby. Poucas pessoas têm uma bibliografia tão ampla com tão poucos comunicados de imprensa.