DMCA
Contrôler le contrôle d’accès : Approches formelles
| Venue: | In Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’07 |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Jaume_contrôlerle,
author = {Mathieu Jaume and Charles Morisset},
title = {Contrôler le contrôle d’accès : Approches formelles},
booktitle = {In Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’07},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Un des aspects de la sécurité en informatique concerne le contrôle des accès aux données d’un système pour lequel différentes politiques de sécurité peuvent être mises en application. Toutefois, rien ne sert de mettre en place une politique de sécurité pour gérer un système si les programmes chargés de garantir le bon fonctionnement de cette politique ne sont pas fiables. Ne pas apporter de garanties fortes sur la correction de tels programmes reviendrait à construire un château fort avec une porte en papier. Cet article rend compte de manière informelle de différentes expériences permettant d’obtenir des développements formels de politiques de contrôle d’accès. Ces développements nous conduisent à introduire un “cadre sémantique ” dans lequel il est possible de spécifier, implanter et comparer des politiques de contrôle d’accès.
Keyphrases
approches formelles riences permettant obtenir de un de aspect aux donn e un syst en application lequel diff rente curit peuvent tre tels programme garanties fortes une porte la correction comparer de veloppements formels rien ne sert pour rer un syst ne pa apporter place une politique si le programme construire un ch teau fort cet article
