B for Modeling Secure Information Systems Description B4MSecure is an Eclipse platform dedicated to formally reason about functional UML models enhanced by an access control policy which follows the RBAC model. It is the result of the work done by the VASCO team in the national ANR project Selkis. The platform acts on three steps : Graphical modeling using the Topcased tool of a functional UML class diagram Graphical modeling of an access control policy using a UML profile for RBAC (Role Based Access Control) and which is inspired by SecureUML Translation of both models into B specifications in order to formally reason about them. The B4MSecure platform is distributed under the LGPL v3 licence.

Membres du projet Administrateurs du projet Akram IDANI German VEGA Contributeurs Akram IDANI German VEGA Yves LEDRU Mohamed-Amine LABIADH Essia KARMOUS

Publications

• Akram Idani, Yves Ledru. B for Modeling Secure Information Systems - The B4MSecure Platform. Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France. LNCS 9407, Springer. Pages 312-318. [pdf]


• Akram Idani, Yves Ledru, Amira Radhouani. Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information - Plateforme B4MSecure. Ingénierie des Systèmes d'Information, Hermès-Lavoisier 2014, volume 19, numéro 6. Pages 33-61.


• Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier. Combining UML, ASTD and B for the formal specification of an access control filter. International Journal on Innovations in Systems and Software Engineering, A NASA Journal, Volume 7, number 4. Springer 2011, pagers 303-313. [pdf]


• Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier and Mohamed-Amine Labiadh. Taking into Account Functional Models in the Validation of IS Security Policies. Advanced Information Systems Engineering (CAiSE) Workshops. Lecture Notes in Business Information Processing, 2011, Volume 83, pages 592-606. [pdf]

Démonstration de B4MSecure pour AFADL 2013 par yledru Feel free to send us any comment about B4MSecure, a forum will be opened soon ! Your name : Your e-mail : Your organism : Message :