Centre d'Etude et De Recherche en Informatique et Communications (EA4629) |
|
Développement de systèmes sécurisés avec l'atelier Focalize,
[JR12] Développement de systèmes sécurisés avec l'atelier Focalize,
Conférence Nationale avec comité de lecture : 23èmes Journées Francophones des Langages Applicatifs (JFLA 2012), February 2012, pp.104--118, Carnac, France,
motcle:
Résumé:
Nous présentons dans cet article un ensemble de définitions réutilisables, et formellement vérifiées avec l'atelier FoCaLiZe, des concepts utilisés pour modéliser des systèmes sécurisés par une politique de sécurité. Ces différents concepts sont introduits très progressivement par le biais de composants logiciels abstraits connectés les uns aux autres par le jeu des mécanismes d'héritage et de paramétrisation de FoCaLiZe. Tout au long de ce développement, la définition d'un système de contrôle d'accès sécurisé illustre ces concepts généraux à l'aide d'instances concrètes.
Equipe:
cpr
| @inproceedings { | |||
| JR12, | |||
| title | = | "{Développement de systèmes sécurisés avec l'atelier Focalize,}", | |
| author | = | " M. Jaume and R. Rioboo ", | |
| booktitle | = | "{ 23èmes Journées Francophones des Langages Applicatifs (JFLA 2012)}", | |
| year | = | 2012, | |
| month | = | "February", | |
| pages | = | "104--118", | |
| address | = | "Carnac, France", | |
| } | |||
Agenda
 Suivre le laboratoire
|
ContactsCNAM-CEDRIC ENSIIE-CEDRIC |