TY  - BOOK
AU  - Gilles Barthe, Benjamin Livshits, Riccardo Scandariato
TI  - Engineering Secure Software and Systems
SN  - 978-3-642-28166-2
PY  - 2012///
CY  - New York
PB  - Springer US
KW  - Computer Communication Networks; Data Encryption; Software Engineering/Programming and Operating Systems; Data Structures, Cryptology and Information Theory; Math Applications in Computer Science; Models and Principles
KW  - Computer Science
ER  -