Matt Bishop
Mer info
- Känd för
- Computer Security: Art and Science, granskning av röstmaskiner
- Verksam vid
- UC Davis
Professor vid UC Davis vars lärobok har lärt en generation säkerhetsstudenter att börja med formella modeller innan de börjar med verktyg.
Computer Security: Art and Science kom 2002 (andra upplagan 2018) och är en tjock, grundlig genomgång av åtkomstmodeller, policyer, kryptografi och sårbarhetsanalys – mer teori än handbok, vilket är precis poängen. Bishop har också forskat på lösenordskontroll, sårbarhetsklassificering och säkerhetsutbildning.
2007 ledde han tillsammans med David Wagner Kaliforniens ”Top-to-Bottom Review” av delstatens röstmaskiner. Granskarnas red teams tog sig förbi skyddet på samtliga undersökta system, och delstatens valmyndighet drog in eller villkorade godkännandet för flera av dem. Sällan har en akademisk granskning fått så omedelbara följder.