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
OpenBSD vs X
Evaluating stacks of paper too hard.
CC & such standards require bizzare language
TuringÕs halting problem.
Mathematicians like proofs, but Òprovably secureÓ cryptosystems get attacked through some other angle.
Cryptographers in fact rely on experiment, from Deep Crack to the sha1 demos last summer at crypto