Analyse probabiliste des protocoles de sécurité à flux d'information admissible

分析安全协议的概率和可接受的信息通量

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

La diffusion croissante des cyber-services pose sous une forme beaucoup plus complexe qu'auparavant le problème de la protection de l'information. L'analyse formelle des systèmes conçus pour assurer cette sécurité i.e. les protocoles de sécurité, est devenu par conséquent 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 les protocoles doivent assurer que celui de méthodes et d'outils aptes à assurer la correction de ces protocoles. L'approche de la théorie du flux de l'information, comme celle de presque toutes les théories existantes de la sécurité de l'information développées à ce jour, est une approche possibiliste selon laquelle le non-déterminisme sert à modéliser les mécanismes aléatoires de génération de tous les comportement possibles des systèmes. Toutefois, l'approche possibiliste 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. Or de plus en plus de protocoles de sécurité utilisent le bourrage aléatoire pour atteindre certains objectifs de sécurité. Par exemple, pour assurer l'anonymat des transactions sur le Web, le "Crowds protocol", masque les communications de chaque usager en les faisant acheminer par un usager choisi de manière aléatoire. Pour cette raison, nous croyons que le fondement théorique du flux d'information étendu pour exprimer ce type de propriétés de sécurité à flux d'information admissible doit être de nature probabiliste. Ce projet vise donc, à court, moyen et long terme respectivement, à: 1. développer un langage de modélisation des protocoles de sécurité où le flux d'information considéré est probabiliste, 2. établir un contexte formel uniforme pour exprimer les propriétés de sécurité à flux d'information probabiliste admissible et 3. développer des méthodes et des outils d'analyse de ces protocoles. La méthodologie proposée repose pour: 1. sur une algèbre de processus probabiliste étendue de primitives cryptographiques, 2. sur un schéma général et une classification de ce type de propriétés 3. sur une équivalence observationnelle qui reflète la puissance de l'attaquant et des méthodes de réduction à un modèle fini.

该公司的内部转移是一种服务形式，可以汇集大量的综合体。它是一种在受到公司保护的状态下建立的服务形式。它是一种涉及组织各种组织分类的沟通系统。该组织的起源是基于过去建立的公司的建立，该组织一直在努力创建一家参与政府已汇编的公司发展的公司。该公司在秘密行动的过程中具有很强的影响力。了解组织运营的重要性很重要。重要的是要了解组织具有强烈的安全感和安全感。重要的是要了解组织具有强烈的安全感和安全感。重要的是要了解组织具有强烈的安全感和安全感。重要的是要了解组织具有强烈的安全感和安全感并能够理解情况很重要。了解情况，例如组织，组织对组织的交易有很大影响。 ChoisideManièreAléatoire。倒入塞特莱森，nous croyons que le fordementthéoriquedu fluxd'efimensétendupour extrimer ce type depropriétésdesécurité的flux flux d'ections flux d'efimens flux d'unturation doit doit doitte d de Nature Probabiliste。 Ce projet vise donc, à court, moyen et long terme respectivement, à: 1. développer un langage de modélisation des protocoles de sécurité où le flux d'information considéré est probabiliste, 2. établir un contexte formel The uniform pour is the most popular among people who have experienced the development of the project.该公司有机会开发一种新的项目开发方法。该公司有机会开发新的项目方法。该公司有机会开发新的项目方法。 Modèle的遗弃。