Skip to Main content Skip to Navigation
Conference papers

Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d'un Système

Résumé : Dans cet article, nous proposons une approche formelle de modélisation conjointe des aspects fonc- tionnels et sécuritaires d'un système. Cette approche consiste à enrichir la spécification fonctionnelle d'un système, exprimée à l'aide d'une TEFSM (Timed Extended Finite State Machine), par des règles de sécurité temporelles modélisées en Nomad. Nomad est un langage formel bien adapté pour l'expression de propriétés de sécurité telles que les permissions, les interdictions et les obligations. Le modèle fonctionnel sécurisé global ainsi obtenu peut être utilisé à plusieurs fins tels que la génération de code, le test du système, la vérification du modèle(model checking), etc. Afin de s'assurer de la faisabilité de notre approche, celle-ci a été expérimentée à plusieurs applications distribuées.
Document type :
Conference papers
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/inria-00419463
Contributor : Olivier Festor <>
Submitted on : Wednesday, September 23, 2009 - 10:15:27 PM
Last modification on : Wednesday, June 24, 2020 - 4:18:07 PM
Document(s) archivé(s) le : Wednesday, June 16, 2010 - 12:04:02 AM

File

34.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00419463, version 1

Citation

Wissam Mallouli, Amel Mammar, Ana Cavalli. Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d'un Système. CFIP'2009, Oct 2009, Strasbourg, France. ⟨inria-00419463⟩

Share

Metrics

Record views

166

Files downloads

400