Confidentiality Enforcement Using Dynamic Information Flow Analyses
Avec l'augmentation des communications entre systèmes d'information, l'intérêt pour les mécanismes de sécurité s'est accru. La notion de non-interférence, introduite par Goguen and Meseguer (1982), est fréquemment utilisée pour formaliser des politiques de sécurité impliquant la...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00198621 http://tel.archives-ouvertes.fr/docs/00/19/86/21/PDF/thesis_report.pdf |