ESSoS 2013: International Symposium on Engineering Secure Software and Systems.