A tool for the generation of a secure access control filter

Thi Mai Nguyen 1, 2 Amel Mammar 3, 1, 2 Régine Laleau 4 Samir Hameg 5
1 INF - Département Informatique
2 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux
SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
4 LACL - Laboratoire d'Algorithmique Complexité et Logique
5 UMMTO - Université Mouloud Mammeri [Tizi Ouzou]
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
Document type :
Conference papers
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01359879
Contributor : Médiathèque Télécom Sudparis & Institut Mines-Télécom Business School <>
Submitted on : Monday, September 5, 2016 - 10:19:53 AM
Last modification on : Tuesday, January 22, 2019 - 2:32:06 PM

Identifiers

Collections

INSTITUT-TELECOM | TELECOM-SUDPARIS | UPEC-UPEM | LACL | UNIV-PARIS-SACLAY

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〉

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

104

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD