A framework for secure execution of software

Antonio Maña(Universidad de Málaga), José M. Troya(Universidad de Málaga), Ernesto Pimentel(Universidad de Málaga), Juan José López Ortega(Universidad de Málaga), Javier López(Universidad de Málaga)
International Journal of Information Security
October 25, 2004
10.1007/s10207-004-0048-6
Cited by 24

Related Papers

Formalizing Web Service Choreographies
|Electronic Notes in Theoretical Computer Science|2004|220
A Cloud-Based Internet of Things Platform for Ambient Assisted Living
|Sensors|2014|126
Specification and Refinement of Dynamic Software Architectures
|IFIP advances in information and communication technology|1999|109
Compatibility and inheritance in software architectures
|Science of Computer Programming|2001|108
A survey on quality of service support in wireless sensor and actor networks: Requirements and challenges in the context of critical infrastructure protection
|Journal of Network and Computer Applications|2011|87