Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6–8, 2016. Proceedings - Caballero, Juan; Bodden, Eric; Athanasopoulos, Elias (Springer International Publishing : Imprint: Springer, 2016)