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

Gilles Barthe , Ben Livshits , Riccardo Scandariato