Validation of a security policy by the test of its formal B specification - a case study - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

Validation of a security policy by the test of its formal B specification - a case study

Yves Ledru
Laboratoire d'Informatique de Grenoble
Akram Idani
Laboratoire d'Informatique de Grenoble
Jean-Luc Richier
  • Fonction : Auteur
Validation de Systèmes, Composants et Objets logiciels

Domaines

Génie logiciel [cs.SE]

Yves Ledru  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01420680

Soumis le : mardi 20 décembre 2016-20:27:42

Dernière modification le : mercredi 18 décembre 2024-09:30:42

Fichier non déposé

Dates et versions

hal-01420680 , version 1 (20-12-2016)

Identifiants

  • HAL Id : hal-01420680 , version 1

Citer

Yves Ledru, Akram Idani, Jean-Luc Richier. Validation of a security policy by the test of its formal B specification - a case study. Third FME Workshop on Formal Methods in Software Engineering (Formalise’15), 2015, Firenze, Italy. pp.6-12. ⟨hal-01420680⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS LIG LIG_GLSI_VASCO LIG_SIDCH
48 Consultations
0 Téléchargements

Partager

More