Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Barthe, Gilles (Editor), Livshits, Benjamin (Editor), Scandariato, Riccardo (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
• Series: Lecture Notes in Computer Science, 7159
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Data structures (Computer science).; Data encryption (Computer science).; Computer science > Mathematics.; Computers.; Computer Science.; 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.

This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from 53...