Martin Abadi – Computer security

March 18th, 2003 Butler Lampson, one of the pioneers in computer security, once wrote: « What people want from computer security is to be as secure with computers as they are in the real world ». Increasingly, however, the « real world » is full of interconnected computers in critical roles. Accordingly, computer security…

Continue reading