Engineering Secure Software and Systems: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings (Lecture Notes in Computer Science)

Eric Bodden , Mathias Payer , Elias Athanasopoulos