... the application and its interaction with the security model. In order to take into account both models, we developed the B4MSecure platform. It is a Model ...

Jun 30, 2016 · The B4MSecure tool is intended to model the information system as a whole by covering its functional description, and its security policy. The ...

Akram Idani , Yves Ledru: B for Modeling Secure Information Systems - The B4MSecure Platform. ICFEM 2015: 312-318. manage site settings.

B4MSecure is an Eclipse platform dedicated to formally reason about functional UML models enhanced by an access control policy which follows the RBAC model.

B for Modeling Secure Information Systems - The B4MSecure Platform. A. Idani, and Y. Ledru. ICFEM, volume 9407 of Lecture Notes in Computer Science, ...

For instance, the B4MSecure platform proposed in [7] introduces facilities for graphical modelling of access control policies as UML class diagrams and ...

Communication Dans Un Congrès Année : 2015. B for Modeling Secure Information Systems - The B4MSecure Platform (démo). Akram Idani (1) , Yves Ledru (1).

Mar 28, 2024 · The platform acts on three steps : Graphical data modeling with UML class diagrams using the Papyrus tool; Modeling of security policies using a ...

B for modeling secure information systems - the b4msecure platform. In 17th Int. Conference on Formal Engineering Methods, volume 9407 of LNCS, pages 312 ...

B for modeling secure information systems: the b4msecure platform. A Idani, Y Ledru. Formal Methods and Software Engineering: 17th International Conference on …