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...
Description complète
Enregistré dans:
Détails bibliographiques
| Auteur principal: |
Briffaut, Jérémy |
|---|
| Autres auteurs: |
Toinard, Christian
(Directeur de thèse) |
|---|
| 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 |
|---|