Engineering secure software and systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings - Bodden, Eric 1980-; Payer, Mathias 1981-; Athanasopoulos, Elias (Lecture Notes in Computer Science, 2017)