A Mathematical Model for Covert Channels in Closed Systems of Communicating Agents
通信主体封闭系统中隐蔽通道的数学模型
基本信息
- 批准号:425996-2012
- 负责人:
- 金额:$ 1.53万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Postgraduate Scholarships - Doctoral
- 财政年份:2012
- 资助国家:加拿大
- 起止时间:2012-01-01 至 2013-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
No summary - Aucun sommaire
没有总结 - Aucun sommaire
项目成果
期刊论文数量(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 }}
Jaskolka, Jason其他文献
Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support
- DOI:
10.1016/j.sysarc.2021.102073 - 发表时间:
2021-03-10 - 期刊:
- 影响因子:4.5
- 作者:
Rouland, Quentin;Hamid, Brahim;Jaskolka, Jason - 通讯作者:
Jaskolka, Jason
Jaskolka, Jason的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Jaskolka, Jason', 18)}}的其他基金
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
- 批准号:
RGPIN-2019-06306 - 财政年份:2022
- 资助金额:
$ 1.53万 - 项目类别:
Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
- 批准号:
RGPIN-2019-06306 - 财政年份:2021
- 资助金额:
$ 1.53万 - 项目类别:
Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
- 批准号:
RGPIN-2019-06306 - 财政年份:2020
- 资助金额:
$ 1.53万 - 项目类别:
Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
- 批准号:
RGPIN-2019-06306 - 财政年份:2019
- 资助金额:
$ 1.53万 - 项目类别:
Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
- 批准号:
DGECR-2019-00176 - 财政年份:2019
- 资助金额:
$ 1.53万 - 项目类别:
Discovery Launch Supplement
A Mathematical Model for Covert Channels in Closed Systems of Communicating Agents
通信主体封闭系统中隐蔽通道的数学模型
- 批准号:
425996-2012 - 财政年份:2013
- 资助金额:
$ 1.53万 - 项目类别:
Postgraduate Scholarships - Doctoral
Detecting security-vulnerable members of a software family through view reconciliation
通过视图协调检测软件系列中存在安全漏洞的成员
- 批准号:
377385-2009 - 财政年份:2009
- 资助金额:
$ 1.53万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Master's
Design and implementation of a tool for the analysis of cryptographic protocols
密码协议分析工具的设计与实现
- 批准号:
368557-2008 - 财政年份:2008
- 资助金额:
$ 1.53万 - 项目类别:
University Undergraduate Student Research Awards
相似国自然基金
基于术中实时影像的SAM(Segment anything model)开发AI指导房间隔穿刺位置决策的增强现实模型
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
- 批准号:
- 批准年份:2020
- 资助金额:40 万元
- 项目类别:
应用Agent-Based-Model研究围术期单剂量地塞米松对手术切口愈合的影响及机制
- 批准号:81771933
- 批准年份:2017
- 资助金额:50.0 万元
- 项目类别:面上项目
基于Multilevel Model的雷公藤多苷致育龄女性闭经预测模型研究
- 批准号:81503449
- 批准年份:2015
- 资助金额:18.0 万元
- 项目类别:青年科学基金项目
基于非齐性 Makov model 建立病证结合的绝经后骨质疏松症早期风险评估模型
- 批准号:30873339
- 批准年份:2008
- 资助金额:32.0 万元
- 项目类别:面上项目
相似海外基金
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
- 批准号:
2890513 - 财政年份:2027
- 资助金额:
$ 1.53万 - 项目类别:
Studentship
Collaborative Research: BoCP-Implementation: Alpine plants as a model system for biodiversity dynamics in a warming world: Integrating genetic, functional, and community approaches
合作研究:BoCP-实施:高山植物作为变暖世界中生物多样性动态的模型系统:整合遗传、功能和社区方法
- 批准号:
2326020 - 财政年份:2024
- 资助金额:
$ 1.53万 - 项目类别:
Continuing Grant
Collaborative Research: BoCP-Implementation: Alpine plants as a model system for biodiversity dynamics in a warming world: Integrating genetic, functional, and community approaches
合作研究:BoCP-实施:高山植物作为变暖世界中生物多样性动态的模型系统:整合遗传、功能和社区方法
- 批准号:
2326021 - 财政年份:2024
- 资助金额:
$ 1.53万 - 项目类别:
Standard Grant
Elucidating mechanisms of biological hydrogen conversion through model metalloenzymes
通过模型金属酶阐明生物氢转化机制
- 批准号:
2419343 - 财政年份:2024
- 资助金额:
$ 1.53万 - 项目类别:
Standard Grant
EAGER: Liutex-based Sub-Grid Model for Large Eddy Simulation of Turbulent Flow
EAGER:基于 Liutex 的湍流大涡模拟子网格模型
- 批准号:
2422573 - 财政年份:2024
- 资助金额:
$ 1.53万 - 项目类别:
Standard Grant
CAREER: Adapting the Fluid Projection Method to Model Elasto-plastic Materials
职业:采用流体投影方法来模拟弹塑性材料
- 批准号:
2427204 - 财政年份:2024
- 资助金额:
$ 1.53万 - 项目类别:
Continuing Grant
Collaborative Research: MRA: A functional model of soil organic matter composition at continental scale
合作研究:MRA:大陆尺度土壤有机质组成的功能模型
- 批准号:
2307253 - 财政年份:2024
- 资助金额:
$ 1.53万 - 项目类别:
Standard Grant
Collaborative Research: MRA: A functional model of soil organic matter composition at continental scale
合作研究:MRA:大陆尺度土壤有机质组成的功能模型
- 批准号:
2307251 - 财政年份:2024
- 资助金额:
$ 1.53万 - 项目类别:
Standard Grant
CAREER: Towards a comprehensive model of seismicity throughout the seismic cycle
职业:建立整个地震周期地震活动的综合模型
- 批准号:
2339556 - 财政年份:2024
- 资助金额:
$ 1.53万 - 项目类别:
Continuing Grant
AUC-GRANTED: Advancing Transformation of the Research Enterprise through Shared Resource Support Model for Collective Impact and Synergistic Effect.
AUC 授予:通过共享资源支持模型实现集体影响和协同效应,推进研究企业转型。
- 批准号:
2341110 - 财政年份:2024
- 资助金额:
$ 1.53万 - 项目类别:
Cooperative Agreement