
@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}
}
