Software Security: A Formal Perspective - (Notes for a Talk).

Martn Abadi

Browse the full FM paper archive.