Développement de systèmes sécurisés avec l'atelier FoCaLiZe - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
paper_6.pdf (533.4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00665937 , version 1 (03-02-2012)

Identifiers

  • HAL Id : hal-00665937 , version 1

Cite

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. ⟨hal-00665937⟩
133 View
85 Download

Share

Gmail Facebook X LinkedIn More