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
• 财政年份: 2008
• 资助国家: 加拿大
• 起止时间: 2008-01-01 至 2009-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=391485
• 关键词: 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.

网络服务的扩散带来了复杂的信息保护问题。对确保安全的系统进行分析，即安全协议，这会导致研究行动的进展。我们可以通过协议的信息安全理论的发展来获取协议修正的方法和方法。信息流动理论的方法，是当今信息发展的安全理论的基础，它是一种可能的方法，可以将非决定性因素应用于机械主义模型中所有世代 系统的行为可能。然而，这种可能的方法主要是为了预测信息流动的概率和预防分析统计数据的基础，从而推断出观察结果的秘密。或者使用针对某些安全目标的配置来添加安全协议。例如，确保网络交易的匿名性、“群体协议”、用户之间的通信以及用户选择的行为。出于这个原因，我们可以从自然概率的角度来探讨信息流动的安全属性。 Ce projet vise donc, à Court, moyen et long terme相应，à: 1. 开发信息安全协议模型化语言并考虑概率，2. 为信息安全属性的初步统一制定上下文 概率可接受等 3. 开发 ces 协议的方法和分析工具。 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 proprietés 3. sur une Equivalence Observationnelle qui reflète la puissance de l'attaquant et des méthodes de 还原至最终模式。