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