@conference {inp:Ochoa2012a, title = {Security Guarantees and Evolution: From models to reality}, booktitle = {Electronic Proceedings of the 1st ESSoS Doctoral Symposium (ESSoS-DS 2012)}, year = {2012}, author = {M. Ochoa} }