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.

网络服务的传播带来了信息保护的复杂问题。获取信息安全理论的发展，以确保信息流动理论的正确方法和使用方法。 ，从理论的角度来看Toutefois, l'approche possibiliste或者，如果您使用某些对象的安全协议，请使用该协议实验型信息的安全性。允许的信息安全属性与自然概率有关，法院、中长期相关，：1. 概率，2. La méthodologie proposée repose pour: 1. sur une algèbre de processus probabiliste étendue de密码学原语，2. 通用模式和属性类型的分类 3. 等效观察，反映了量化的力量和最终模型的还原方法。