Detecting security-vulnerable members of a software family through view reconciliation
通过视图协调检测软件系列中存在安全漏洞的成员
基本信息
- 批准号:377385-2009
- 负责人:
- 金额:$ 1.27万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Alexander Graham Bell Canada Graduate Scholarships - Master's
- 财政年份:2009
- 资助国家:加拿大
- 起止时间:2009-01-01 至 2010-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.27万 - 项目类别:
Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
- 批准号:
RGPIN-2019-06306 - 财政年份:2021
- 资助金额:
$ 1.27万 - 项目类别:
Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
- 批准号:
RGPIN-2019-06306 - 财政年份:2020
- 资助金额:
$ 1.27万 - 项目类别:
Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
- 批准号:
RGPIN-2019-06306 - 财政年份:2019
- 资助金额:
$ 1.27万 - 项目类别:
Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
- 批准号:
DGECR-2019-00176 - 财政年份:2019
- 资助金额:
$ 1.27万 - 项目类别:
Discovery Launch Supplement
A Mathematical Model for Covert Channels in Closed Systems of Communicating Agents
通信主体封闭系统中隐蔽通道的数学模型
- 批准号:
425996-2012 - 财政年份:2013
- 资助金额:
$ 1.27万 - 项目类别:
Postgraduate Scholarships - Doctoral
A Mathematical Model for Covert Channels in Closed Systems of Communicating Agents
通信主体封闭系统中隐蔽通道的数学模型
- 批准号:
425996-2012 - 财政年份:2012
- 资助金额:
$ 1.27万 - 项目类别:
Postgraduate Scholarships - Doctoral
Design and implementation of a tool for the analysis of cryptographic protocols
密码协议分析工具的设计与实现
- 批准号:
368557-2008 - 财政年份:2008
- 资助金额:
$ 1.27万 - 项目类别:
University Undergraduate Student Research Awards
相似国自然基金
黄淮海平原典型区域土壤盐渍化演变机制与发生风险防控对策研究
- 批准号:41171178
- 批准年份:2011
- 资助金额:65.0 万元
- 项目类别:面上项目
存储安全中介系统理论、仿真和实现技术研究
- 批准号:61070154
- 批准年份:2010
- 资助金额:30.0 万元
- 项目类别:面上项目
最优证券设计及完善中国资本市场的路径选择
- 批准号:70873012
- 批准年份:2008
- 资助金额:27.0 万元
- 项目类别:面上项目
相似海外基金
Climate Change Effects on Pregnancy via a Traditional Food
气候变化通过传统食物对怀孕的影响
- 批准号:
10822202 - 财政年份:2024
- 资助金额:
$ 1.27万 - 项目类别:
Understanding the synergistic roles of water insecurity and food insecurity in the health of Mexican adults
了解水不安全和粮食不安全对墨西哥成年人健康的协同作用
- 批准号:
10647464 - 财政年份:2023
- 资助金额:
$ 1.27万 - 项目类别:
Perspectives of Correctional Officers about Older Adults in Prison: A Grounded Theory Study
惩教人员对监狱中老年人的看法:扎根理论研究
- 批准号:
10749275 - 财政年份:2023
- 资助金额:
$ 1.27万 - 项目类别:
Family resources, food security, and child health during periods of temperature change and adverse climate conditions
温度变化和不利气候条件期间的家庭资源、粮食安全和儿童健康
- 批准号:
10667887 - 财政年份:2023
- 资助金额:
$ 1.27万 - 项目类别:
FORUM ON MEDICAL AND PUBLIC HEALTH PREPAREDNESS FOR DISASTERS AND EMERGENCIES AND ACTION COLLABORATIVE ON DISASTERS/PUBLIC HEALTH EMERGENCY RESEARCH
灾害和紧急情况医疗和公共卫生防备论坛以及灾害/公共卫生紧急情况研究行动合作
- 批准号:
10937101 - 财政年份:2023
- 资助金额:
$ 1.27万 - 项目类别:
Improving social connectedness through digital health to enhance recovery from OUD among the justice involved population.
通过数字健康改善社会联系,以促进司法相关人群从 OUD 中恢复。
- 批准号:
10675916 - 财政年份:2023
- 资助金额:
$ 1.27万 - 项目类别:
Household Energy Insecurity, Health and Sustainable Livelihoods in Colombia
哥伦比亚的家庭能源不安全、健康和可持续生计
- 批准号:
10453280 - 财政年份:2023
- 资助金额:
$ 1.27万 - 项目类别:
Identifying and Addressing Social Determinants of Health to Reduce the National Burden of and Inequities in Dementia
识别和解决健康的社会决定因素,以减轻痴呆症的国家负担和不平等现象
- 批准号:
10597433 - 财政年份:2023
- 资助金额:
$ 1.27万 - 项目类别:
Preventing Mental Disorders Among Women Internally Displaced by War in Ukraine: The SHAWL Trial
预防乌克兰境内因战争而流离失所的妇女的精神障碍:SHAWL 审判
- 批准号:
10730622 - 财政年份:2023
- 资助金额:
$ 1.27万 - 项目类别:
A Technology-enhanced and Multilevel Approach to Promote Cervical Cancer Prevention Among Women Living with HIV
采用技术增强的多层次方法促进艾滋病毒感染妇女的宫颈癌预防
- 批准号:
10740622 - 财政年份:2023
- 资助金额:
$ 1.27万 - 项目类别: