Analyse probabiliste des protocoles de sécurité à flux d'information admissible
分析安全协议的概率和可接受的信息通量
基本信息
- 批准号:138321-2007
- 负责人:
- 金额:$ 1.46万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2011
- 资助国家:加拿大
- 起止时间:2011-01-01 至 2012-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
网络服务的广泛传播构成了信息保护问题的一大部分。为了确保这种安全,对有关制度即安全协议进行分析,这是为了获得一项真正有效的研究成果。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.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Mullins, John其他文献
Positioning reproducibility with and without rotational corrections for 2 head and neck immobilization systems
- DOI:
10.1016/j.prro.2015.05.003 - 发表时间:
2015-11-01 - 期刊:
- 影响因子:3.3
- 作者:
Courneyea, Lorraine;Mullins, John;Pafundi, Deanna - 通讯作者:
Pafundi, Deanna
Long-term trends and regional variation in the aeroallergen Alternaria in Cardiff and Derby UK: Are differences in climate and cereal production having an effect?
- DOI:
10.1023/b:aero.0000006529.51252.2f - 发表时间:
2003-09-01 - 期刊:
- 影响因子:2
- 作者:
Corden, Julie M.;Millington, Wendy M.;Mullins, John - 通讯作者:
Mullins, John
Are your cash-flow tools recession ready?
- DOI:
10.1016/j.bushor.2020.04.003 - 发表时间:
2020-11-01 - 期刊:
- 影响因子:7.4
- 作者:
Mullins, John - 通讯作者:
Mullins, John
Correlation between tumor growth delay and expression of cancer and host VEGF, VEGFR2, and osteopontin in response to radiotherapy.
- DOI:
10.1016/j.ijrobp.2008.06.1925 - 发表时间:
2008-11-01 - 期刊:
- 影响因子:7
- 作者:
Solberg, Timothy D.;Nearman, Jessica;Mullins, John;Li, Sicong;Baranowska-Kortylewicz, Janina - 通讯作者:
Baranowska-Kortylewicz, Janina
Bounded opacity for timed systems
- DOI:
10.1016/j.jisa.2021.102926 - 发表时间:
2021-07-14 - 期刊:
- 影响因子:5.6
- 作者:
Ammar, Ikhlass;El Touati, Yamen;Mullins, John - 通讯作者:
Mullins, John
Mullins, John的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Mullins, John', 18)}}的其他基金
Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
在人工智能系统中定量分析信息通量
- 批准号:
RGPIN-2020-06736 - 财政年份:2022
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
在人工智能系统中定量分析信息通量
- 批准号:
RGPIN-2020-06736 - 财政年份:2021
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
在人工智能系统中定量分析信息通量
- 批准号:
RGPIN-2020-06736 - 财政年份:2020
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
系统中可观测信息部分安全性的定量分析方法
- 批准号:
138321-2013 - 财政年份:2019
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
系统中可观测信息部分安全性的定量分析方法
- 批准号:
138321-2013 - 财政年份:2015
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
系统中可观测信息部分安全性的定量分析方法
- 批准号:
138321-2013 - 财政年份:2014
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Model-based integration and verificafion for mixed-criticality avionics systems embedded in a time-triggered architecture
嵌入时间触发架构中的混合关键性航空电子系统的基于模型的集成和验证
- 批准号:
435325-2012 - 财政年份:2014
- 资助金额:
$ 1.46万 - 项目类别:
Collaborative Research and Development Grants
Model-based integration and verificafion for mixed-criticality avionics systems embedded in a time-triggered architecture
嵌入时间触发架构中的混合关键性航空电子系统的基于模型的集成和验证
- 批准号:
435325-2012 - 财政年份:2013
- 资助金额:
$ 1.46万 - 项目类别:
Collaborative Research and Development Grants
Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
系统中可观测信息部分安全性的定量分析方法
- 批准号:
138321-2013 - 财政年份:2013
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Model-based integration and verificafion for mixed-criticality avionics systems embedded in a time-triggered architecture
嵌入时间触发架构中的混合关键性航空电子系统的基于模型的集成和验证
- 批准号:
435325-2012 - 财政年份:2012
- 资助金额:
$ 1.46万 - 项目类别:
Collaborative Research and Development Grants
相似海外基金
Analyse du cycle de vie des bâtiments (présents et futurs) : Rationaliser sa simplification par triage structurée et probabiliste
分析美好生活的周期(现在和未来):分类结构和概率的合理化简化
- 批准号:
560331-2020 - 财政年份:2021
- 资助金额:
$ 1.46万 - 项目类别:
Alliance Grants
Analyse probabiliste des protocoles de sécurité à flux d'information admissible
分析安全协议的概率和可接受的信息通量
- 批准号:
138321-2007 - 财政年份:2010
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Étude probabiliste du procédé Hall-Héroult par la méthode des éléments finis stochastiques
霍尔-赫鲁特随机完成方法的概率研究
- 批准号:
261973-2006 - 财政年份:2010
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Étude probabiliste du procédé Hall-Héroult par la méthode des éléments finis stochastiques
霍尔-赫鲁特随机完成方法的概率研究
- 批准号:
261973-2006 - 财政年份:2009
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Analyse probabiliste des protocoles de sécurité à flux d'information admissible
分析安全协议的概率和可接受的信息通量
- 批准号:
138321-2007 - 财政年份:2009
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Analyse probabiliste des protocoles de sécurité à flux d'information admissible
分析安全协议的概率和可接受的信息通量
- 批准号:
138321-2007 - 财政年份:2008
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Étude probabiliste du procédé Hall-Héroult par la méthode des éléments finis stochastiques
霍尔-赫鲁特随机完成方法的概率研究
- 批准号:
261973-2006 - 财政年份:2008
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Étude probabiliste du procédé Hall-Héroult par la méthode des éléments finis stochastiques
霍尔-赫鲁特随机完成方法的概率研究
- 批准号:
261973-2006 - 财政年份:2007
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Analyse probabiliste des protocoles de sécurité à flux d'information admissible
分析安全协议的概率和可接受的信息通量
- 批准号:
138321-2007 - 财政年份:2007
- 资助金额:
$ 1.46万 - 项目类别:
Discovery Grants Program - Individual
Applications des réseaux de neurones en modélisation hydrologique déterministe et probabiliste
神经元研究在水文确定和概率模型化中的应用
- 批准号:
300941-2003 - 财政年份:2006
- 资助金额:
$ 1.46万 - 项目类别:
Collaborative Research and Development Grants