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

扩散的网络服务构成了信息的来源和L的保护信息的复合体。L对保险公司S的合同进行了分析，即S的协议、S的合同。L的《协议书》的信息来源是《协议书》的承保人《协议》。L对L的信息、S的信息和L的信息的认可与发展是可能的，这是一种非终结性的现代化服务。据介绍，L认可《信息概率论与预见论》中最有可能出现的一种统计方法--《信息概率主义者与预言家》，L则对有能力的统计数据进行了分析，以了解有关各方的观察结果。或者S的协议或S的协议。例如，倾倒保险人L的匿名者在DES Transaction Sur le Web，le“Crowds协议”，以及伪装的通信de chaque usager en les faisant achminer Par un usager Choisi de manière aléatoire。从理论上讲，信息的真实性与可信性是一致的。S和S的信息是自然界可接受的概率论。法院、现代和长期的项目，分别是：1.S的语言和协议的现代化发展；2.信息的统一形式和解释；3.可接受的信息的发展和分析。1.原始密码学的概率处理，2.S的密码学分类，3.L的等价性观察。

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.