Engineering secure software and systems : 7th International Symposium, ESSoS 2015 Milan, Italy, March 4-6, 2015 Proceedings (2015)