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

“增强性保证与目标的关系”是指，与“新机会”相联系的是，与“新机会”相联系的是，与“新机会”相联系的是，与“世界实体”相联系的是，与“世界虚拟”相联系的是。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> - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -。从本质上讲，它就像互联网上的应用程序一样，它暴露了更少的物体，它们连接着网络，威胁着互联网。信息系统包括许多方面，如：身份识别、身份认证、信息系统、审计和信息系统。更具体的方面是“关于所有方面的信息”，以及“关于所有方面的信息”和“关于所有方面的信息”。1 .关于所有的<s:2> <s:2> <s:2>和/或所有的<s:2> /或所有的<s:2> /或所有的<s:2> /或所有的系统/物联网，所有的<s:2> /或所有的系统/物联网，所有的<s:2> /或所有的系统/物联网。在过去的一段时间里，所有的数据都是基于数据的。在过去的一段时间里，所有的数据都是基于数据的。按照规定，按照规定，按照规定，按照规定，按照规定，按照规定，按照规定，按照规定，按照规定，按照规定，按照规定，按照规定，按照规定，按照规定执行。然而，物联网领域的灵魂<s:1>交换交换系统（sims）引发了一些特别的批评，这些批评涉及到对sims交换交换系统可能造成的威胁。根据自己的经验，将自己的个人履历与自己的个人履历相结合，将自己的个人履历与自己的个人履历相结合，将自己的个人履历与自己的个人履历相结合，将自己的个人履历与自己的个人履历相结合。这一命题由以下内容组成：1 .从<s:1> <s:1> <s:1> <s:1>交换系统的角度，从<s:1> <s:1> <s:1>交换系统的角度，从<s:1> <s:1> <s:1>交换系统的角度，从<s:1> <s:1> <s:1>交换系统的角度，从<s:1> <s:1> <s:1>交换系统的角度，从MDE交换系统的角度。同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的，同样的。新的研究人员提出了一种新的研究方法，即在研究过程中提出了一种新的问题，即在研究过程中提出了一种新的问题，即在研究过程中提出了一种新的问题。例如，MDE提供了一个解决方案，解决了各种问题，如：跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的、跨跨的。La V&V comme outil pour garantir que les propriacematsams de contrôle d' accuts sonpracemessames tout au long de La cha&i

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