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...
Sparad:
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Thèse numérique |
| Språk: | Français |
| Publicerad: |
Villeurbanne :
[CCSD]
2008.
|
| Ämnen: | |
| Länkar: | Accès au texte intégral Accès Université d'Orléans |
| Anmärkning: |
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.) |
| LEADER | 03428nam a22003257a 4500 | ||
|---|---|---|---|
| 001 | 928081 | ||
| 008 | 180502s2008 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN226555402 | ||
| 041 | 0 | |a fre |b fre |b eng | |
| 084 | |a 004 | ||
| 100 | 1 | |a Briffaut, Jérémy. | |
| 240 | 1 | 0 | |a Formalization and guaranty of system security properties : |b application to the detection of intrusions |
| 245 | 1 | 0 | |a Formation et garantie de propriétés de sécurité système : |b application à la détection d'intrusions |c par Jérémy Briffaut. |
| 256 | |a Données textuelles | ||
| 260 | |a Villeurbanne : |b [CCSD], |c 2008. | ||
| 500 | |a Description d'après la consultation, 2018-04-26 | ||
| 500 | |a Titre provenant de l'écran titre | ||
| 500 | |a Cette édition peut différer de la version de soutenance enregistrée sous le Numéro National de Thèse : 2007ORLE2053 | ||
| 500 | |a Thèses CCSD | ||
| 502 | |a Texte remanié de. Thèse de doctorat. Informatique. Orléans. 2007 | ||
| 520 | |a 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écurité. Ce langage repose sur une notion de dépendance causale entre appels système et sur des opérateurs de corrélation. Grâce à ce langage, nous pouvons définir toutes les propriétés de sécurité système classiquement rencontrées dans la littérature, étendre ces propriétés et en proposer de nouvelles. Afin de garantir le respect de ces propriétés, une implantation de ce langage est présentée. Nous prouvons que cette implantation capture toutes les dépendances perceptibles par un système. Cette méthode permet ainsi d'énumérer l'ensemble des violations possibles des propriétés modélisables par notre langage. Notre solution exploite la définition d'une politique de contrôle d'accès afin de calculer différents graphes. Ces graphes contiennent les terminaux du langage et permettent de garantir le respect des propriétés exprimables. Nous utilisons alors cette méthode pour fournir un système de détection d'intrusion qui détecte les violations effectives des propriétés. L'outil peut réutiliser les politiques de contrôle d'accès disponibles pour différents systèmes cibles DAC (Windows, Linux) ou MAC tels que SELinux et grsecurity. Cet outil a été expérimenté sur un pot de miel durant plusieurs mois et permet de détecter les violations des propriétés souhaitées. | ||
| 538 | |a Un logiciel capable de lire un fichier au format PDF | ||
| 650 | |a Systèmes informatiques | ||
| 650 | |a Systèmes informatiques |x Mesures de sûreté | ||
| 650 | |a Ordinateurs |x Accès |x Contrôle | ||
| 650 | |a Thèses et écrits académiques | ||
| 776 | 0 | |0 125946775 |t Formation et garantie de propriétés de sécurité système |o application à la détection d'intrusions |f par Jérémy Briffaut |c [S.l.] |n [s.n.] |d 2007 |p 1 vol. (200 p.) | |
| 856 | 4 | |q PDF |u https://tel.archives-ouvertes.fr/tel-00261613 |z Accès au texte intégral | |
| 856 | 4 | |5 452349901:727097784 |u https://ezproxy.univ-orleans.fr/login?qurl=https%3A//tel.archives-ouvertes.fr/tel-00261613 |z Accès Université d'Orléans | |
| 997 | |0 928081 |1 Thèse numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||