Des approches formelles pour le cachement d'information: Une analyse des systèmes interactifs, contrôle de divulgation statistique, et le raffinement des spécifications
Cette thèse traite des mesures des flux d'information dans les systèmes informatiques. Nous exploitons les similarités entre des différents scénarios où la sécurité est une préoccupation, et nous appliquons les concepts de la théorie de l'information pour évaluer le niveau de protection of...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Ecole Polytechnique X
2011
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00639948 http://tel.archives-ouvertes.fr/docs/00/66/97/78/PDF/msalvim-thesis.pdf http://tel.archives-ouvertes.fr/docs/00/66/97/78/ANNEX/msalvim-phd-defense.pptx |