Media type: E-Article Title: FM 2012: Formal Methods: Software Security: A Formal Perspective : (Notes for a Talk) Contributor: Abadi, Martín imprint: Springer Berlin Heidelberg, 2012 Published in: FM 2012: Formal Methods Language: Not determined DOI: 10.1007/978-3-642-32759-9_1 ISSN: 0302-9743; 1611-3349 Origination: Footnote: