Skip to Main content Skip to Navigation

Deux critères de sécurité pour l'exécution de code mobile

Abstract : Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. Therefore, the host system must grant that their execution is not dangerous for its resources. A solution is to execute mobile programs in a secured environment,
which enables controlling information flows between mobile programs and local resources, and accesses from mobile programs to local resources. We give two security criteria for executing mobile code. The first one deals with information flows, ensures confidentiality, is based on the code of the local environment, is accurate and undecidable ; the second one deals with access controls, ensures confinement, is based on the type of the local environment, is approximate and decidable.
Complete list of metadata
Contributor : Admin PASTEL Connect in order to contact the contributor
Submitted on : Monday, November 29, 2004 - 4:54:54 PM
Last modification on : Tuesday, December 4, 2018 - 8:34:01 AM
Long-term archiving on: : Friday, April 2, 2010 - 9:28:05 PM


  • HAL Id : tel-00007549, version 1



Hervé Grall. Deux critères de sécurité pour l'exécution de code mobile. Génie logiciel [cs.SE]. Ecole des Ponts ParisTech, 2003. Français. ⟨tel-00007549⟩



Record views


Files downloads