Engineering Secure Software and Systems : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings - Jan Jürjens, Benjamin Livshits, Riccardo Scandariato ((Lecture Notes in Computer Science))