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.
Type de document :
Communication dans un congrès
CFIP'2009, Oct 2009, Strasbourg, France. 2009
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00419463
Contributeur : Olivier Festor <>
Soumis le : mercredi 23 septembre 2009 - 22:15:27
Dernière modification le : jeudi 11 janvier 2018 - 06:15:41
Document(s) archivé(s) le : mercredi 16 juin 2010 - 00:04:02

Fichier

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

Identifiants

  • HAL Id : inria-00419463, version 1

Collections

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. 2009. 〈inria-00419463〉

Partager

Métriques

Consultations de la notice

133

Téléchargements de fichiers

68