A Framework for Secure Execution of Software IJIS_2004 Maña, A.; López, J.; Ortega, J.; Pimentel, E.; Troya, J.M. International Journal of Information Security, Vol. 3, Issue 2, Springer-Verlag, 2004.