A tool for the generation of a secure access control filter

Abstract : Currently, it is well recognized that coupling graphical and formal notations offers several advantages. Indeed, even if a graphical representation permits to design a visual, synthetic and user-friendly view of the system, it may be source of ambiguity and does not permit any formal verification. Formal methods help to remedy these shortcomings by giving a precise semantics to graphical notations such that it becomes possible to verify a large range of properties and even to generate correct implementations. Nevertheless, users cannot take a full advantage of the benefits of such a combination if it is not supported by an automatic tool that liberates them from the tedious translation activity. Following this direction, the present paper describes the main functionalities of a tool that automatically generates a formal secure access control filter for information systems. The goal of the filter is to regulate the access to data of an information system according to a set of static and dynamic rules. Data are described using a UML class diagram, whereas the static and dynamic rules are modeled using \textsc{SecureUML} and UML activity diagrams respectively. Basically, the tool automatically generates the B formal specification corresponding to these diagrams and the filter
Type de document :
Communication dans un congrès
RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. IEEE Computer Society, Proceedings RCIS 2016 : 10th International Conference on Research Challenges in Information Science, pp.1 - 12, 2016, 〈10.1109/RCIS.2016.7549285〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01359879
Contributeur : Médiathèque Télécom Sudparis & Institut Mines-Télécom Business School <>
Soumis le : lundi 5 septembre 2016 - 10:19:53
Dernière modification le : jeudi 11 janvier 2018 - 06:27:35

Identifiants

Citation

Thi Mai Nguyen, Amel Mammar, Régine Laleau, Samir Hameg. A tool for the generation of a secure access control filter. RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. IEEE Computer Society, Proceedings RCIS 2016 : 10th International Conference on Research Challenges in Information Science, pp.1 - 12, 2016, 〈10.1109/RCIS.2016.7549285〉. 〈hal-01359879〉

Partager

Métriques

Consultations de la notice

102