Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts

系统中可观测信息部分安全性的定量分析方法

• 批准号: 138321-2013
• 负责人: Mullins, John
• 金额: $ 1.09万
• 依托单位: École Polytechnique de Montréal
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=522400
• 关键词: thodes; formelles; analyse; quantitative; de

L'analyse formelle de la sécurité des systèmes ouverts conçus pour protéger l'information est devenu un champ de recherche très actif. Il recouvre aussi bien le développement d'une théorie de la sécurité de l'information que ces systèmes doivent assurer que celui de méthodes aptes à assurer leur correction. L'approche de la théorie du flux de l'information est une approche booléenne au sens où le comportement d'un système est soit bon, soit mauvais relativement à la sécurité requise. Toutefois, cette approche est trop grossière pour décrire le flux d'information probabiliste et prévenir ainsi les attaques basées sur l'analyse statistique capable d'inférer un secret à partir de ses observations ou encore, pour analyser le coût computationnel du flux d'information et prévenir ainsi les attaques contre la disponibilité des ressources. Ces toutes dernières années un champ de recherche sur les modèles probabilistes de flux d'information a émergé. Mais aucun modèle n'a encore été proposé pour quantifier aussi les ressources nécessaires mises en oeuvre par l'environnement pour réussir son attaque. Un tel modèle poserait les jalons d'un modèle formel d'analyse de risque sécuritaire. Ce programme vise donc à: Développer un contexte théorique général pour exprimer les propriétés de flux d'information quantitatives qui étende celui de l'opacité dans les systèmes de transitions au cas où le flux d'information considéré est probabiliste et pondéré; Développer des algorithmes de vérification de ces propriétés; et étudier le problème de compositionalité des systèmes ouverts, relativement aux opérateur de séquentialité et de concurrence, qui préserve la mesure de sécurité de ces systèmes i.e. celui de décider quand une composante du système peut être substituée à une autre de manière sécuritaire. Le contexte méthodologique est celui des systèmes de transitions probabilistes et pondérés pour la modélisation et celui des séries formelles pour la spécification des propriétés de flux d'information quantifiés. Les méthodes de la vérification sont celles du calcul de mesures dans les Processus de Décisions Markoviens pondérés (PDMP) et de diverses notions de simulation entre PDMP qui préservent les mesures de sécurité définies.

机构机构关系的机构是一个因素。除了那些与建立新的主张体系的想法的人的努力之外，建立了新的主张体系。相关组织基于两国之间的关系。包括组织的领导在内的相关组织正在不断改变和计算措施，这些措施可以通过参与创建各种服务的人的努力来实现。 Modèle在Flux方面享有很高的声誉。 Modèle在通量和量词方面享有很高的声誉。 Modèle在通量和量词方面享有很高的声誉。该程序基于通量和量词的概念。该组织得出的结论是，该组织得出结论，该组织已经结论了自己的过渡。它的组成结构也是关系的问题，也是一种同意的形式，也是该国同意的地方。替代性曲面的替代性。主角在调制的形式上具有强烈的变化感，并且已经进行了PDMP系列的引入。主角具有强烈的自由感，也是传播这个词的一种方式。主角具有强烈的自由感，是解决该过程问题的好方法。 PréserventLes记住了deSécuritéDéfinies。