Detecting security-vulnerable members of a software family through view reconciliation
Detecting security-vulnerable members of a software family through view reconciliation
批准号:
377385-2009
负责人:
Jaskolka, Jason
金额:
$1.27万
依托单位:
依托单位国家:
加拿大
项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Master's
财政年份:
2009
资助国家:
加拿大
项目状态:
已结题
起止时间:
2009-01-01 至 2010-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Comprehensive Security Assurance Solutions for Software-Dependent Systems
-
批准号:RGPIN-2019-06306
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:2022
-
负责人:Jaskolka, Jason
-
依托单位:
Comprehensive Security Assurance Solutions for Software-Dependent Systems
-
批准号:RGPIN-2019-06306
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:2021
-
负责人:Jaskolka, Jason
-
依托单位:
Comprehensive Security Assurance Solutions for Software-Dependent Systems
-
批准号:RGPIN-2019-06306
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:2020
-
负责人:Jaskolka, Jason
-
依托单位:
Comprehensive Security Assurance Solutions for Software-Dependent Systems
-
批准号:RGPIN-2019-06306
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:2019
-
负责人:Jaskolka, Jason
-
依托单位:
Comprehensive Security Assurance Solutions for Software-Dependent Systems
-
批准号:DGECR-2019-00176
-
项目类别:Discovery Launch Supplement
-
资助金额:$0.91万
-
财政年份:2019
-
负责人:Jaskolka, Jason
-
依托单位:
A Mathematical Model for Covert Channels in Closed Systems of Communicating Agents
-
批准号:425996-2012
-
项目类别:Postgraduate Scholarships - Doctoral
-
资助金额:$1.53万
-
财政年份:2013
-
负责人:Jaskolka, Jason
-
依托单位:
A Mathematical Model for Covert Channels in Closed Systems of Communicating Agents
-
批准号:425996-2012
-
项目类别:Postgraduate Scholarships - Doctoral
-
资助金额:$1.53万
-
财政年份:2012
-
负责人:Jaskolka, Jason
-
依托单位:
Design and implementation of a tool for the analysis of cryptographic protocols
-
批准号:368557-2008
-
项目类别:University Undergraduate Student Research Awards
-
资助金额:$0.33万
-
财政年份:2008
-
负责人:Jaskolka, Jason
-
依托单位:
国内基金
海外基金
黄淮海平原典型区域土壤盐渍化演变机制与发生风险防控对策研究
-
批准号:41171178
-
项目类别:面上项目
-
资助金额:65.0万元
-
批准年份:2011
-
负责人:刘广明
-
依托单位:
存储安全中介系统理论、仿真和实现技术研究
-
批准号:61070154
-
项目类别:面上项目
-
资助金额:30.0万元
-
批准年份:2010
-
负责人:韩德志
-
依托单位:
最优证券设计及完善中国资本市场的路径选择
-
批准号:70873012
-
项目类别:面上项目
-
资助金额:27.0万元
-
批准年份:2008
-
负责人:彭龙
-
依托单位: