What EB Is Not
Process Oriented
Stacks of paper don’t defend systems
Al & Crispin to cover?
Proof Oriented
Computers are not mathematical systems
Proofs rarely relate to real world security