Contrôle d'accès dans l'IoT à travers la méthodologie de développement MDE

物联网控制和 MDE 开发方法

• 批准号: RGPIN-2018-06351
• 负责人: Adda, Mehdi
• 金额: $ 1.65万
• 依托单位: Université du Québec à Rimouski
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=679121
• 关键词: Contr; le; acc; dans; IoT

L'augmentation fulgurante du nombre d'objets connectés offrent de nouvelles opportunités pour réduire le fossé existant entre le monde physique et le monde virtuel. La rencontre de ces deux mondes a engendré ce qui est actuellement appelé l'Internet of Things (IoT). IoT a des applications et des implications sur un large éventail de domaines tels que les maisons, les villes, les procédés industriels, les dispositifs médicaux, etc. Afin d'accéder à ce niveau d'échelle de déploiement et de débloquer tout son potentiel, un ensemble de problèmes et de questions soulevés doivent être abordés et résolus. De ces derniers, on y trouve les questions liées à l'hétérogénéité matérielle et logicielle, la complexité et la mise à l'échelle, la sécurité et la vie privée et l'automatisation.******De par sa nature qui s'appuie sur la connectivité, l'IoT expose les objets connectés aux risques et menaces induits par l'internet. La sécurité informatique englobe plusieurs aspects tels que l'identification, l'authentification, l'intégrité, l'audit, et le contrôle d'accès. Ce dernier aspect est l'un des aspects de sécurité les plus critiques et auquel le présent programme de recherche s'intéresse. ******Concernant les défis soulevés par l'hétérogénéité et la complexité des mises à l'échelle des systèmes IoT, la génération automatique de code fait partie de la solution. Elle peut se faire à partir de modèles à travers la méthodologie de développement logiciel MDE qui est un outil clé pour surmonter quelques-uns des problèmes posés par IoT. ******De manière générale, les utilisateurs des outils MDE supposent que les résultats de V&V (vérification et validation) sur le modèle s'appliqueront également au code généré. Toutefois, le domaine IoT soulève des préoccupations particulièrement critiques concernant les menaces possibles pour la sécurité. Bien que de telles propriétés de sécurité puissent être vérifiées sur les modèles logiciels, nous avons besoin d'une approche plus systématique pour garantir que de telles propriétés se manifesteraient également dans le code généré. ******La démarche dans cette proposition consiste à développer un modèle de contrôle d'accès adapté à l'IoT qui s'intègre à la méthodologie MDE. Cela passera par le développement de techniques de V&V pour les transformations de modèles afin de garantir que les propriétés spécifiques liées au modèle de contrôle d'accès, vérifiées sur le modèle, seront conservées dans le code. ******La grande nouveauté de cette proposition réside dans la manière avec laquelle quelques problèmes de l'IoT sont abordés. Ainsi, MDE sera utilisée comme une solution aux problèmes d'interopérabilité de plateformes et d'environnement de développement et la complexité de développement et de déploiement d'applications IoT. La V&V comme outil pour garantir que les propriétés de contrôle d'accès sont préservées tout au long de la cha&i

L'augurante du nombre d'objets connectés offrent de nouvelles opportunités pour réduire le fossé existant entre le monde physics et le monde virtuel.两个世界的相遇产生了一个被称为物联网（IoT）的东西。IoT a des applications et des implications sur un large éventail de domaines tels que les maisons，les villes，les procédés industriels，les dispositifs medicaux，etc. Afin d'accéder à ce niveau d'échelle de déchelle de débloquer tout son potentiel，un ensemble de problèmes et de questions soulevés doivent être abortés et résolus.在这些最后阶段，我们探讨了以下问题：物质和逻辑、复杂性和经济、安全、私人生活和自动化。由于其支持连接的性质，物联网暴露了互联网上的风险和威胁。信息安全涉及多个方面，包括身份识别、认证、完整性、审计和访问控制。最后一个方面是对目前的兴趣研究方案的评论和补充。**Concernant les défis soulevés par l'hétérogénéité et la complexité des mises à l'échelle des systèmes IoT，la génération automatique de code fait partie de la solution. Elle peut se faire à partir de modèles à travers la méthodologie de dépement logiciel MDE qui est un outil clé pour surmonter quelques-uns des problèmes posés par IoT. ** 在一般情况下，假设V&V（验证和确认）结果适用于一般代码Au的模式，则可使用MDE工具。Toutefois，le domaine IoT soulève des préoccupations particulièrement critiques concernant les威胁possibles pour la sécurité.由于安全保障的所有权在逻辑模型上得到了验证，因此我们必须采用一种方法和系统来确保所有权在一般代码中得到体现。**La démarche dans cette proposal consiste à décepper un modèle de controle d'accès adapté à l'IoT qui s'intègre à la méthodologie MDE. Cela passera par le décampement de techniques de V&V pour les transformations de modèles afin de garantir que les propriétés specifiques liées Au modèle de contrôle d'accès，vérifiées sur le modèle，seront conservées dans le code. ** 在物联网存在问题的情况下，这一新提议将被取消。此外，MDE sera utilisée comme une solution aux problèmes d'interopéabilité de platformes et d'acquisition de d'acquisition et la complexité de décquisition et de déploiement d'applications IoT. V&V是为了确保访问控制的所有权在整个过程中保持Au long