Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings - Jürjens, Jan; Livshits, Benjamin; Scandariato, Riccardo (Springer Berlin Heidelberg : Imprint: Springer, 2013)