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

网络服务的广泛传播构成了信息保护问题的一大部分。为了确保这种安全，对有关制度即安全协议进行分析，这是为了获得一项真正有效的研究成果。Il recouvre aussi bien le dépropement d'une théorie de la sécurité de l'information que les protocols doivent assurer que celui de méthodes et d'outils aptes à assurer la correction de ces protocols.信息流动理论的探讨，如同策勒所提出的当前所有信息安全的现有理论一样，是一种对非决定性机制的可能性的探讨，这种非决定性机制是对图斯所有系统的可能性的修正。然而，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'analysis statistique capable d'inférer un secret à partir de ses observations.或de plus en plus de protocoles de sécurité utilisent le bourrage aléatoire pour atteindre certains objectifs de sécurité。另一方面，为了保证网上交易的匿名性，“Crowds协议”通过一个用户选择的方式，伪装了用户与其他用户之间的通信。为了这一理由，我们认为，信息流动的理论基础是确定可接受的信息流动的安全类型的可能性。该项目将分别在法庭上和泰尔梅上进行。décuberant per un langage de modélisation des protocoles de sécurité occurle flux d'information consideré est probabiliste，2.制定一个统一的背景，以充分利用可接受的信息量等3的安全特性。déciliper des methodes et des outils d'analyze 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 sur une equivalence observationnelle whi acquiète la puissance de l'attaquant et des methodes de réduction à un modèle fini.

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.