Engineering secure software and systems : 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings - Gilles Barthe, editor ([, Springer-Verlag], 2012)