Antonio Mana Javier Lopez Juan J. Ortega Ernesto Pimentel José M. Troya A framework for secure execution of software. 99-112 2004 3 Int. J. Inf. Sec. 2 http://dx.doi.org/10.1007/s10207-004-0048-6 db/journals/ijisec/ijisec3.html#ManaLOPT04