Typage du flux d'information sûr: déclassification et mobilité
Nous nous intéressons au sujet de la confidentialité et de la déclassification. Nous étudions en particulier l'usage d'un système de types et d'effets pour assurer de manière statique des politiques de sécurité flexibles pour un langage d'ordre supérieur impératif avec concurrenc...
| Main Author: | |
|---|---|
| Published: |
École Nationale Supérieure des Mines de Paris
2006
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00001765 http://pastel.archives-ouvertes.fr/docs/00/50/01/92/PDF/thesisAna.pdf |