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.

对系统安全进行分析，以促进信息的发展，并推动研究的发展。我们将通过信息安全理论的发展来恢复系统的信息安全，并提供纠正方法。信息流动理论的方法是一种布尔方法，它是系统行为的一种很好的方法，也是一种与安全要求相关的方法。然而，主要的方法是对信息通量的概率和预防措施进行分析，以推断出观察结果的秘密，然后再进行分析，对信息通量和预防措施进行分析计算孔特雷拉 资源分配。最近几年，我们对信息流动的概率模型进行了研究。在此，我们提出了一个关于量词的模型，其中包括为我们的儿子攻击的环境所必需的资源。该模型是对风险安全分析的模型。该计划的目的是：开发信息流动定量属性的一般理论，并考虑到信息流动的概率和不确定性；属性验证算法开发者；研究系统的组成问题、顺序操作和并发性的相关问题，以保护系统的安全措施，即确定替代系统的组合问题 其他安全措施。该方法论是模型化的概率转换和池塘系统的方法，也是信息量通量属性规范的一系列形式的方法。马尔科夫决策过程 (PDMP) 中测量计算的验证方法以及 PDMP 中模拟的多种概念，以保护安全定义的测量。