Vérification et Synthèse de Contrôleur pour des Propriétés de Confidentialité
Les systèmes fonctionnant sur un réseau ouvert tels que les bases de données médicales ou les systèmes bancaires peuvent manipuler des informations dont la confidentialité doit être impérativement préservée. Dans ce contexte, la notion d'opacité formalise la capacité d'un système à garder...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Rennes 1
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00461306 http://tel.archives-ouvertes.fr/docs/00/46/13/06/PDF/main.pdf |