Loading...
Please wait, while we are loading the content...
Similar Documents
Formalisations et comparaisons de politiques et de systèmes de sécurité
| Content Provider | Semantic Scholar |
|---|---|
| Author | Habib, Lionel |
| Copyright Year | 2011 |
| Abstract | Dans cette these, nous etudions le domaine de la securite de l'information en s'appuyant sur les methodes formelles. Nous definissons un cadre semantique generique qui permet de formaliser et de comparer des politiques et des systemes de securite. Nous decrivons deux approches de formalisation des politiques de securite, l'une a base de proprietes, et l'autre a base de regles. De plus, nous montrons de quelle maniere nous exprimons des politiques de securite administratives selon ces deux approches. Nous presentons la notion de systemes de securite qui consiste a mettre en oeuvre une politique de securite par un systeme de transition. Un systeme de securite peut etre obtenu en appliquant une politique de securite a un systeme de transition independant, ou en creant un systeme de transition directement a partir d'une politique de securite. Nous introduisons trois preordres qui permettent de comparer des politiques et des systemes de securite. Le preordre sur les politiques de securite caracterise une notion de traduction d'information de securite, tandis que les deux preordres sur les systemes de securite reposent sur des traductions de labels. Nous appliquons les definitions introduites dans notre cadre en formalisant et en comparant des politiques de controle de permissions, d'acces et de flots d'information, des politiques de securite administratives, et des systemes de securite. D'autre part, nous mettons en perspective notre travail avec des travaux connexes. Enfin, nous exposons deux applications pratiques realisees avec l'atelier Focalize, le test d'une politique de controle d'acces multi-niveaux, et le developpement d'une bibliotheque de politiques de securite. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://edb.upmc.fr/projet-recherche-doctoraux/generer-pdf/3428 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
