Vers une évaluation quantitative de la sécurité informatique - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1994

Towards a quantitative evaluation of computer security

Vers une évaluation quantitative de la sécurité informatique

Résumé

Current computing systems have to protect the data they hold and to fit easily into versatile working environnments. These objectives, sécurity and flexibility, can be antinomic. The conflict usually leads to the use of systems that offer an acceptable security level, yet not maximal. Defining such security level requires evaluation methods. This is the topic of the thesis.
the author presents the existing evaluation criteria and the so-called risk analysis methods. This introduces the need for a formal framework that can modelize any system and evaluate its effectiveness to implement well-defined protection goals.
Computer security formal models do not fit that purpose. the author schows that they use a worst case hypothesis about the behaviour of the users, incompatible with a realistic modeling.
The author offers a solution to relax the hypothesis of the "take-grant" model. Then, he defines a new model, called the privilege graph, more efficient to deal with some protections schemes. He illustrates its use in the context of unix systems.
Finally, the author proposes a computer security evaluation method by computing the time and required to an intruder for breaking into the system. He defines a mathematical framework to represent the system and to obtain such measures. To do so, the provileg graph is transformed into a stochastic Petri net ans its marking graph is derived. Based on this structure, the measures are evaluated and their mathematical properties are proofed. The author gives an illustration of the usefullness of the model by analyzing some results obtained with a prototype developped to study the operational security of a Unix system.
Les systèmes d'information actuels doivent, à la fois, protéger les informations qui leur sont confiées et se plier à des environnements opérationnels variables. Cesdeux objectifs, sécurité et flexibilité, peuvent être antinomiques. Ce conflit conduit généralement à l'utilisation de systèmes offrant un niveau de sécurité acceptable, mais non maximal. Définir un tel niveau présuppose l'existence de méthodes d'évaluation de la sécurité. Cette problématique fait l'objet de cette thèse. L'auteur y passe en revue les différents critères d'évaluation existant ainsi que les méthodes dites d'analyse de risques. Ceci introduit la nécessité de définir un cadre formel capable de modéliser tout système et d'évaluer dans quelle mesure il satisfait à des objectifs de protection précis.
Les modèles formels développés pour l'étude de la sécurité informatique, n'offrent pas le cadre mathématique désiré. L'auteur montre qu'ils adoptent une hypothèse de pire cas sur le comportement des utilisateurs, incompatible avec une modélisation réaliste. Après avoir montré, sur la base du modèle take-grant, comment s'affranchir de cette hypothèse, l'auteur définit un nouveau modèle, le graphe des privilèges, plus efficace pour gérer certains problèmes de protection. Il illustre son utilisation dans le cadre des systèmes Unix.
Enfin, l'auteur propose d'évaluer la sécurité en calculant le temps et l'effort nécessaires à un intrus pour violer les objectifs de protection. Il montre comment définir un cadre mathématique apte à représenter le système pour obtenir de telles mesures. Pour cela, le graphe des privilèges est transformé en un réseau de Petri stochastique et son graphe des marquages est dérivé. Les mesures sont calculées sur cette dernière structure et leurs propriétés mathématiques sont démontrées. L'auteur illustre l'utilité du modèle par quelques résultats issus d'un prototype développé afin d'étudier la sécurité opérationnelle d'un système Unix.
Fichier principal
Vignette du fichier
these-dacier.pdf (7.78 Mo) Télécharger le fichier

Dates et versions

tel-00012022 , version 1 (23-03-2006)

Identifiants

  • HAL Id : tel-00012022 , version 1

Citer

Marc Dacier. Vers une évaluation quantitative de la sécurité informatique. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1994. Français. ⟨NNT : ⟩. ⟨tel-00012022⟩
2016 Consultations
906 Téléchargements

Partager

Gmail Facebook X LinkedIn More