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
• 财政年份: 2018
• 资助国家: 加拿大
• 起止时间: 2018-01-01 至 2019-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=643472
• 关键词: 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îne de développement des applications IoT.

“增强性保证与目标的关系”是指，与“新机会”相联系的是，与“新机会”相联系的是，与“新机会”相联系的是，与“世界实体”相联系的是，与“世界虚拟”相联系的是。La rencontre de des des deux mondes a gengendres quelelement appele of Things （IoT）。物联网的应用和应用对大型领域的影响，如：小型企业、小型企业、小型企业、小型企业、小型企业、大型企业，等等。在“获得的薪金薪金与获得的薪金薪金相比，获得的薪金薪金与获得的薪金薪金相比，获得的薪金薪金与获得的薪金薪金相比，获得的薪金薪金与获得的薪金薪金相比，获得的薪金薪金与获得的薪金薪金相比要低得多。”De des derniers，在我的问题中，有三个问题，即：<s:1> <s:1> <s:1> <s:1> <s:1> <s:1> <s:1> <s:1> <s:1> <s:1> - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -。******De par sa nature就像s' apie sur la connectivitive一样，l'IoT暴露了更少的对象，连接了所有的数据，风险和威胁，包括互联网。信息系统包括许多方面，如：身份识别、身份认证、信息系统、审计和信息系统。更具体的方面是“关于所有方面的信息”，以及“关于所有方面的信息”和“关于所有方面的信息”。******关于所有的<s:1> <s:1> <s:1> <s:2> <s:2> <s:2>作为交换交换的<s:1> <s:1> <s:2> <s:2> <s:2>作为交换交换的<s:1> <s:1> <s:2> <s:2> <s:2>作为交换交换的<s:1> <s:2> <s:2>系统与物联网，所有的<s:1> <s:2>系统与物联网，所有的<s:1> <s:2>系统与物联网，所有的<s:1> <s:2>系统与物联网。在过去的一段时间里，所有的数据都是基于数据的。在过去的一段时间里，所有的数据都是基于数据的。******从manmanitre g<s:2>，到MDE，再到V&V (vsamicrize和validation)，再到modles ' appliquerant，即从code g<s:2>，到modles ' appliquerant。然而，物联网领域的灵魂<s:1>交换交换系统（sims）引发了一些特别的批评，这些批评涉及到对sims交换交换系统可能造成的威胁。根据自己的经验，将自己的个人履历与自己的个人履历相结合，将自己的个人履历与自己的个人履历相结合，将自己的个人履历与自己的个人履历相结合，将自己的个人履历与自己的个人履历相结合。******与其他命题相一致的是：<s:2>与其他命题相适应的是：<s:2>与其他命题相适应的是：<s:2>与其他命题相适应的是：<s:2>与其他命题相适应的是：<s:2>与其他命题相适应的是：<s:2>与其他命题相适应的是：与其他命题相适应的是：同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的。******大新作者提出了一种新的建议，即关于电子交换和电子交换和电子交换的问题，即关于电子交换和电子交换的问题。例如，MDE提供了一个解决方案，解决了各种问题，如：跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的。La V&V comme outil pour garantir que les propriacematsams de contrôle d' acc<e:1> s prematssames tout au long de La cha<s:1> ne de daccemement des applications IoT。