Formalisation d'une session collaborative sécurisée

2012 National Days of Network Security and Systems Pub Date : 2012-04-20 DOI:10.1109/JNS2.2012.6249232

Mohamed Madani, Mohammed Erradi

{"title":"Formalisation d'une session collaborative sécurisée","authors":"Mohamed Madani, Mohammed Erradi","doi":"10.1109/JNS2.2012.6249232","DOIUrl":null,"url":null,"abstract":"Les applications collaboratives sont des applications distribuées à travers lesquelles plusieurs utilisateurs peuvent interagir et partager les mêmes objets pour atteindre un objectif commun. Ainsi la sécurité des interactions entre les membres d'un groupe collaboratif constitue un défi majeur auquel il faut faire face. Ceci afin d'assurer des interactions sécurisées et offrir un bon degré de confiance dans l'utilisation d'une application collaborative. Ce travail présente un mécanisme de sécurité lors d'une session collaborative, appelé « sécurité à base de session ». L'approche proposée est basée sur le modèle de contrôle d'accès OrBAC, en l'augmentant d'un niveau intermédiaire appelé « Niveau Session » entre le niveau organisationnel et le niveau concret du modèle OrBAC. Ensuite, une démarche formelle à base de règles et d'arbres de permissions est proposée pour être intégrée à ce modèle, afin de contrôler l'accès au niveau des sessions collaboratives. Enfin, nous présentons une spécification formelle de notre approche pour une application collaborative distribuée pour le télédiagnostic dans le domaine de la neuroscience. Cette spécification est implémentée et vérifiée à l'aide du langage Prolog (Programmation Logique).","PeriodicalId":224410,"journal":{"name":"2012 National Days of Network Security and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 National Days of Network Security and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/JNS2.2012.6249232","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

Les applications collaboratives sont des applications distribuées à travers lesquelles plusieurs utilisateurs peuvent interagir et partager les mêmes objets pour atteindre un objectif commun. Ainsi la sécurité des interactions entre les membres d'un groupe collaboratif constitue un défi majeur auquel il faut faire face. Ceci afin d'assurer des interactions sécurisées et offrir un bon degré de confiance dans l'utilisation d'une application collaborative. Ce travail présente un mécanisme de sécurité lors d'une session collaborative, appelé « sécurité à base de session ». L'approche proposée est basée sur le modèle de contrôle d'accès OrBAC, en l'augmentant d'un niveau intermédiaire appelé « Niveau Session » entre le niveau organisationnel et le niveau concret du modèle OrBAC. Ensuite, une démarche formelle à base de règles et d'arbres de permissions est proposée pour être intégrée à ce modèle, afin de contrôler l'accès au niveau des sessions collaboratives. Enfin, nous présentons une spécification formelle de notre approche pour une application collaborative distribuée pour le télédiagnostic dans le domaine de la neuroscience. Cette spécification est implémentée et vérifiée à l'aide du langage Prolog (Programmation Logique).

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

安全协作会话的形式化

协作应用程序是分布式应用程序，多个用户可以在其中交互和共享相同的对象，以实现共同的目标。因此，协作小组成员之间交互的安全性是一个需要解决的主要挑战。这是为了确保安全的交互，并在使用协作应用程序时提供良好程度的信任。本文介绍了一种协作会话中的安全机制，称为“基于会话的安全”。提出的方法基于OrBAC访问控制模型，在组织级别和OrBAC模型的实际级别之间增加一个称为“会话级别”的中间级别。然后，提出了一个基于规则和权限树的正式方法来集成到这个模型中，以控制协作会话级别的访问。最后，我们提出了我们在神经科学领域远程诊断的分布式协作应用方法的正式规范。该规范使用Prolog语言(逻辑编程)实现和验证。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

2012 National Days of Network Security and Systems

自引率

0.00%

发文量

期刊最新文献

Une approche beaconing avec échange de clés dans les réseaux ad hoc de véhicules Computaion integrity mechanism for MapReduce in cloud computing system Analyse de la prédictibilité de l'algorithme R.A NMJ An elliptic curve cryptography based on matrix scrambling method Wireless sensor network: Security challenges