Grall, Hervé (2003) Two Security Criteria for Executing Mobile Code. PhD thesis Mathématiques, informatique, ENPC.
Full text available as:
|
|
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.
| Item Type: | PhD Thesis (PhD) |
|---|---|
| Thesis Supervisor: | Cot, Norbert |
| Date: | December 2003 |
| Board of examiners: | Leroy, Xavier and Cot, Norbert and Caucal, Didier and Jensen, Thomas and Lalement, René |
| Discipline: | Mathématiques, informatique |
| Collection (Fonds): | ENPC |
| Institution: | ENPC |
| Subjects: | 2. Information and Communication Sciences and Technologies 1. Mathematics and Applications |
| Uncontrolled Keywords: | Logique mathématique, Systèmes d’inférence, Définitions inductives et co-inductives, Treillis, Informatique théorique, équations récursives, Arbres, Lambda-calcul, Langages de programmation, Sémantiques opérationnelle et dénotationnelle, Sécurité informatique, Mobilité, Flux d’informations, Confidentialité, Contrôles d’accès, Confinement |
| ID Code: | 713 |
|---|---|
| Deposited By: | Christiane Baudry |
| Deposited On: | 14 May 2004 |
Repository Staff Only: edit this item