Engineering secure software and systems : 5th International Symposium, ESSoS 2013 Paris, France, February 27- March 1, 2013 Proceedings (2013)