Formation et garantie de propriétés de sécurité système : application à la détection d'intrusions
Dans cette thèse, nous nous intéressons à la garantie des propriétés d'intégrité et de confidentialité d'un système d'information. Nous proposons tout d'abord un langage de description des activités système servant de base à la définition d'un ensemble de propriétés de sécur...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Thèse et Mémoire papier |
| Langue: | Français |
| Publié: |
[S.l.] :
[s.n.]
2007.
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Formalization and guaranty of system security properties :, application to the detection of intrusions |
| Edition sous un autre format: | • Formation et garantie de propriétés de sécurité système, application à la détection d'intrusions, par Jérémy Briffaut, Villeurbanne, [CCSD], 2008 |