Matt Bishop
Mais informações
- Conhecido por
- Computer Security: Art and Science, auditorias de urnas eletrônicas
- Vínculos
- UC Davis
Professor da UC Davis cujo livro-texto ensinou uma geração de estudantes de segurança a começar pelos modelos formais antes de partir para as ferramentas.
Computer Security: Art and Science saiu em 2002 (segunda edição em 2018) e é um tratado volumoso e minucioso sobre modelos de acesso, políticas, criptografia e análise de vulnerabilidades – mais teoria que receita de bolo, o que é justamente a graça. Bishop também trabalhou com verificação de senhas, classificação de vulnerabilidades e educação em segurança.
Em 2007, ele e David Wagner lideraram a "Top-to-Bottom Review" das urnas eletrônicas da Califórnia. As equipes de red team passaram pelas proteções de todos os sistemas examinados, e a Secretária de Estado retirou a certificação de vários deles ou impôs condições. Auditorias acadêmicas raramente têm consequências tão imediatas.