Matt Bishop
Więcej informacji
- Znany z
- Computer Security: Art and Science, audytów maszyn do głosowania
- Afiliacja
- UC Davis
Profesor UC Davis, którego podręcznik nauczył pokolenie studentów bezpieczeństwa zaczynać od modeli formalnych, a dopiero potem sięgać po narzędzia.
Computer Security: Art and Science ukazał się w 2002 roku (drugie wydanie w 2018) i jest obszernym, rzetelnym omówieniem modeli dostępu, polityk, kryptografii i analizy podatności – więcej w nim teorii niż przepisów, co jest zresztą zamierzone. Bishop zajmował się też sprawdzaniem haseł, klasyfikacją podatności i edukacją w zakresie bezpieczeństwa.
W 2007 roku wraz z Davidem Wagnerem kierował kalifornijskim przeglądem „Top-to-Bottom Review” stanowych maszyn do głosowania. Zespoły red team obeszły zabezpieczenia w każdym badanym systemie, a sekretarz stanu wycofał certyfikację kilku z nich lub obwarował ją warunkami. Akademickie audyty rzadko mają tak natychmiastowe skutki.