Мэтт Бишоп (Matt Bishop)
Подробнее
- Известен благодаря
- Computer Security: Art and Science, аудит машин для голосования
- Организация
- UC Davis
Профессор UC Davis, чей учебник научил целое поколение студентов начинать с формальных моделей, а не с инструментов.
Computer Security: Art and Science вышла в 2002 году (второе издание — 2018) и представляет собой обстоятельный труд о моделях доступа, политиках, криптографии и анализе уязвимостей — больше теории, чем кулинарной книги, и в этом как раз смысл. Бишоп также занимался проверкой паролей, классификацией уязвимостей и обучением безопасности.
В 2007 году вместе с Дэвидом Вагнером он руководил калифорнийским «Top-to-Bottom Review» машин для голосования. Красные команды обошли защиту каждой из проверенных систем, и госсекретарь штата отозвал или обусловил сертификацию нескольких из них. У академических аудитов редко бывают такие немедленные последствия.