Skip to Main content Skip to Navigation
Conference papers

B4MSecure : A MDE platform for modeling and validation of Secure Information Systems (poster)

Akram Idani 1 Yves Ledru 1 Mohamed-Amine Labiadh 2
1 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
2 LIG - Laboratoire d'Informatique de Grenoble
Résumé : no abstract
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00974766
Contributor : Catherine Oriat <>
Submitted on : Monday, April 7, 2014 - 2:16:49 PM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM

Identifiers

  • HAL Id : hal-00974766, version 1

Collections

LIG | LIG_GLSI | LIG_GLSI_VASCO | CNRS | UGA

Citation

Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. B4MSecure : A MDE platform for modeling and validation of Secure Information Systems (poster). Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2013, Nancy, France. pp.211. ⟨hal-00974766⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

260

 

Contact                    Legal Notice                    Personal Data