Développement de systèmes sécurisés avec l'atelier FoCaLiZe

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.
Type de document :
Communication dans un congrès
JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. pp.104-118, 2012
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00665937
Contributeur : Alain Monteil <>
Soumis le : vendredi 3 février 2012 - 11:30:10
Dernière modification le : jeudi 13 septembre 2018 - 15:24:05
Document(s) archivé(s) le : vendredi 4 mai 2012 - 02:26:20

Fichier

paper_6.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00665937, version 1

Collections

Citation

Mathieu Jaume, Renaud Rioboo. Développement de systèmes sécurisés avec l'atelier FoCaLiZe. JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. pp.104-118, 2012. 〈hal-00665937〉

Partager

Métriques

Consultations de la notice

186

Téléchargements de fichiers

123