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 metadatas

https://pastel.archives-ouvertes.fr/tel-00007549
Contributor : Admin Pastel <>
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

Identifiers

  • HAL Id : tel-00007549, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

421

Files downloads

510