Centre de documentation
scientifique

Spécification et analyse d’un protocole de contrôle d’accès optimiste pour éditeurs collaboratifs répartis / Aurel Randolph 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)  

Public [article]  inIngé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 9 - 32 Titre : Spécification et analyse d’un protocole de contrôle d’accès optimiste pour éditeurs collaboratifs répartis Type de document : Article/Communication Auteurs : Aurel Randolph, Auteur ; Abdessamad Imine, Auteur ; Hanifa Bouchened, Auteur ; Alejandro Qunitero, Auteur Année de publication : 2014 Article en page(s) : pp 9 - 32 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Informatique [Termes IGN] espace partagé de travail en ligne [Termes IGN] gestion des droits numériques [Termes IGN] protocole [Termes IGN] sécurité informatique Résumé : (Auteur) Les éditeurs collaboratifs répartis sont des systèmes interactifs dans lesquels des utilisateurs géographiquement éloignés éditent simultanément des documents partagés. Généralement, ces systèmes ont recours à la réplication de données et un protocole de synchronisation, qui permet d’assurer la cohérence des données même si les mises à jour des utilisateurs ne sont pas exécutées dans le même ordre sur les différentes copies. Contrôler l’accès dans les éditeurs collaboratifs est un défi car de tels éditeurs nécessitent un changement dynamique des droits d’accès et une faible latence pour partager les documents. Dans (Imine et al ., 2009), un protocole flexible de contrôle d’accès a été proposé. Il est basé sur la réplication du document partagé ainsi que ses autorisations d’accès dans la mémoire locale de chaque utilisateur. Pour faire face à la latence et au changement dynamique des droits d’accès, une technique optimiste a été utilisée qui consiste à appliquer de manière rétroactive les autorisations d’accès. Cependant, vérifier que l’utilisation combinée du contrôle d’accès et du protocole de synchronisation préserve la cohérence des données est une tâche difficile, car elle requiert d’examiner un grand nombre de cas. Dans ce papier nous montrons comment spécifier et vérifier formellement, en utilisant la suite d’outils Alloy, un protocole de contrôle d’accès conçu pour les éditeurs collaboratifs répartis. L’analyse a permis de conclure que le contrôle d’accès est uniformément appliqué sur tous les sites participant à l’édition et, par conséquent, le protocole préserve la cohérence. Plus important encore, cette analyse a conduit à valider certains choix conceptuels du protocole. Numéro de notice : A2015-155 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE Nature : Article DOI : 10.3166/isi.19.6.9-32 En ligne : https://doi.org/10.3166/isi.19.6.9-32 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=75842 [article]

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-2014061	SL	Revue	Centre de documentation	Revues en salle	Disponible