Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
系统中可观测信息部分安全性的定量分析方法
基本信息
- 批准号:138321-2013
- 负责人:
- 金额:$ 1.09万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2015
- 资助国家:加拿大
- 起止时间:2015-01-01 至 2016-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
L'analyse formelle de la sécurité des systèmes ouverts conçus pour protéger l'information est devenu 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 ces systèmes doivent assurer que celui de méthodes aptes à assurer leur correction. L'approche de la théorie du flux de l'information est une approche booléenne au sens où le comportement d'un système est soit bon, soit mauvais relativement à la sécurité requise. Toutefois, cette approche 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 ou encore, pour analyser le coût computationnel du flux d'information et prévenir ainsi les attaques contre la disponibilité des ressources. Ces toutes dernières années un champ de recherche sur les modèles probabilistes de flux d'information a émergé. Mais aucun modèle n'a encore été proposé pour quantifier aussi les ressources nécessaires mises en oeuvre par l'environnement pour réussir son attaque. Un tel modèle poserait les jalons d'un modèle formel d'analyse de risque sécuritaire. Ce programme vise donc à: Développer un contexte théorique général pour exprimer les propriétés de flux d'information quantitatives qui étende celui de l'opacité dans les systèmes de transitions au cas où le flux d'information considéré est probabiliste et pondéré; Développer des algorithmes de vérification de ces propriétés; et étudier le problème de compositionalité des systèmes ouverts, relativement aux opérateur de séquentialité et de concurrence, qui préserve la mesure de sécurité de ces systèmes i.e. celui de décider quand une composante du système peut être substituée à une autre de manière sécuritaire. Le contexte méthodologique est celui des systèmes de transitions probabilistes et pondérés pour la modélisation et celui des séries formelles pour la spécification des propriétés de flux d'information quantifiés. Les méthodes de la vérification sont celles du calcul de mesures dans les Processus de Décisions Markoviens pondérés (PDMP) et de diverses notions de simulation entre PDMP qui préservent les mesures de sécurité définies.
为了保护信息,对系统安全的形式进行了分析,这是一项非常活跃的研究。Il recouvre aussi bien le développement d 'une théorie de la sécurité de l' information que ces systèmes doivent assurer que celui de methodes aptes à assurer their correction.信息流动理论的研究是Au的一种布尔方法,它对一个系统的作用是很好的,但相对于安全要求来说是很重要的。总之,这一方法是非常重要的,它可以用来描述信息的可能性,并提供基于统计分析的攻击,这些分析可以推断出部分观测或再观测的秘密,用于分析信息流量的计算方法,并提供对抗资源分配的攻击。这是近年来对信息流动可能性模型的研究冠军。迈斯没有再提出一个模式来量化所有的必要资源。一个安全风险分析模型。Ce programme vise donc à:提出了一种一般的理论背景,以探讨在信息流被认为是可能的和有可能的情况下,信息量在过渡系统中的不透明性;提出了验证这些特性的算法;并研究外部系统的组成问题,相对于操作者的顺序和一致性,这一系统的安全措施,也就是说,当系统的组成部分可以替代其他安全措施时,就可以作出决定。背景方法学是概率和思想转换系统的模型化,也是形式系列的模型化,用于量化信息通量属性的具体化。验证方法主要包括马尔可夫推理过程中的测度计算和推理过程中安全测度模拟的各种概念。
项目成果
期刊论文数量(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.09万 - 项目类别:
Discovery Grants Program - Individual
Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
在人工智能系统中定量分析信息通量
- 批准号:
RGPIN-2020-06736 - 财政年份:2021
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
在人工智能系统中定量分析信息通量
- 批准号:
RGPIN-2020-06736 - 财政年份:2020
- 资助金额:
$ 1.09万 - 项目类别:
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.09万 - 项目类别:
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.09万 - 项目类别:
Discovery Grants Program - Individual
Model-based integration and verificafion for mixed-criticality avionics systems embedded in a time-triggered architecture
嵌入时间触发架构中的混合关键性航空电子系统的基于模型的集成和验证
- 批准号:
435325-2012 - 财政年份:2014
- 资助金额:
$ 1.09万 - 项目类别:
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.09万 - 项目类别:
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.09万 - 项目类别:
Discovery Grants Program - Individual
Model-based integration and verificafion for mixed-criticality avionics systems embedded in a time-triggered architecture
嵌入时间触发架构中的混合关键性航空电子系统的基于模型的集成和验证
- 批准号:
435325-2012 - 财政年份:2012
- 资助金额:
$ 1.09万 - 项目类别:
Collaborative Research and Development Grants
Analyse probabiliste des protocoles de sécurité à flux d'information admissible
分析安全协议的概率和可接受的信息通量
- 批准号:
138321-2007 - 财政年份:2011
- 资助金额:
$ 1.09万 - 项目类别:
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.09万 - 项目类别:
Discovery Grants Program - Individual
Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes
时间复杂性系统开发过程中的方法整合
- 批准号:
238841-2011 - 财政年份:2015
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes
时间复杂性系统开发过程中的方法整合
- 批准号:
238841-2011 - 财政年份:2014
- 资助金额:
$ 1.09万 - 项目类别:
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.09万 - 项目类别:
Discovery Grants Program - Individual
Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes
时间复杂性系统开发过程中的方法整合
- 批准号:
238841-2011 - 财政年份:2013
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Séries formelles rationnelles, algébriques et quasi-symétriques.
一系列形式为理性、代数和准对称。
- 批准号:
443192-2013 - 财政年份:2013
- 资助金额:
$ 1.09万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
系统中可观测信息部分安全性的定量分析方法
- 批准号:
138321-2013 - 财政年份:2013
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes
时间复杂性系统开发过程中的方法整合
- 批准号:
238841-2011 - 财政年份:2012
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Vers l'intégration de méthodes formelles dans le processus de développement de systèmes temps réel complexes
时间复杂性系统开发过程中的方法整合
- 批准号:
238841-2011 - 财政年份:2011
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Spécification et vérification formelles de services web
服务网络的规范和验证
- 批准号:
183776-2006 - 财政年份:2011
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual