Détail de l'auteur
Auteur Yves Ledru |
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier
Visionner les documents numériques
Affiner la recherche Interroger des sources externes
Modélisation graphique et validation formelle de politiques RBAC en systèmes d’information. Plateforme B4MSecure / Akram Idani in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 19 n° 6 (novembre - décembre 2014)
[article]
Titre : Modélisation graphique et validation formelle de politiques RBAC en systèmes d’information. Plateforme B4MSecure Type de document : Article/Communication Auteurs : Akram Idani, Auteur ; Yves Ledru, Auteur ; Amira Radhouani, Auteur Année de publication : 2014 Article en page(s) : pp 33 - 61 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information
[Termes IGN] accès aux données
[Termes IGN] modèle numérique
[Termes IGN] modélisation
[Termes IGN] plateforme logicielle
[Termes IGN] sécurité informatique
[Termes IGN] UML
[Termes IGN] validation des donnéesRésumé : (Auteur) L’omniprésence de l’informatique, l’interconnexion des systèmes et leur ouverture à un nombre accru d’utilisateurs font que les enjeux de la sécurité d’un SI sont importants. Nos travaux dans ce contexte, visent les activités de validation de politiques de sécurité RBAC dès les phases conceptuelles. Pour cela, nous avons développé la plate-forme B4MSecure qui met en œuvre une modélisation conjointe en UML et B des aspects fonctionnels du Système d’Information ainsi que des politiques de contrôle d’accès. Les modèles graphiques UML, fondés sur le profil SecureUML, permettent de disposer de vues compréhensibles et structurantes, et leurs contreparties en B permettent de tirer profit des outils de validation formelle. Dans cet article, nous présentons les fondements de la plateforme B4MSecure ainsi que les activités de validation qui en résultent. Numéro de notice : A2015-156 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : 10.3166/isi.19.6.33-61 En ligne : https://doi.org/10.3166/isi.19.6.33-61 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=75843
in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 19 n° 6 (novembre - décembre 2014) . - pp 33 - 61[article]Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-2014061 SL Revue Centre de documentation Revues en salle Disponible