Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings - Bodden, Eric; Payer, Mathias; Athanasopoulos, Elias (Springer International Publishing : Imprint: Springer, 2017)