Prevention & Reaction to attacks | Cybersecurity

The Cybersecurity Institute takes on a global approach to the problem of the prevention and reaction to cyberattacks, from a both a technical and legal standpoints.

This includes:

methodologies and tools supporting vulnerability analysis, producing defensive systems which can be physically attacked, executed into hostile environment or reversed
the study of the problems of "active cyberdefense" and "hack-back" from the point of view of international, european and comparative law

Explore Our Research Demos in Prevention & reaction to attacks

B4MSecure : B for Modeling Secure Information Systems

B4MSecure is an Eclipse platform dedicated to formally reason about data models and associated access control policies. The platform acts on three steps :

Graphical data modeling with UML class diagrams using the Papyrus tool
Modeling of security policies using a UML profile (SecureUML) for the Role Based Access Control (RBAC) model
Translation of both models into B specifications in order to formally reason about them and find possible insider threats.

The B4MSecure platform is distributed under the LGPL v3 licence.

To explore more about B4MSecure and its capabilities, please follow the link: B4MSecure : B for Modeling Secure Information Systems

For a comprehensive list of our publications on the subject, please refer to this link.