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...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Thèse numérique |
| Idioma: | Français |
| Publicat: |
Villeurbanne :
[CCSD]
2008.
|
| Matèries: | |
| Accés en línia: | Accès au texte intégral Accès Université d'Orléans |
| Nota: |
Description d'après la consultation, 2018-04-26 Titre provenant de l'écran titre Cette édition peut différer de la version de soutenance enregistrée sous le Numéro National de Thèse : 2007ORLE2053 Thèses CCSD |
| 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, [S.l.], [s.n.], 2007, 1 vol. (200 p.) |