Engineering secure software and systems : 4th International Symposium, ESSoS 2012 Eindhoven, The Netherlands, February, 16-17, 2012 Proceedings (2012)