面向威胁的软件可信性分析模型
基本信息
批准号：90718005
项目类别：重大研究计划
资助金额：50.00
负责人：傅建明
学科分类：
依托单位：武汉大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：朱福喜,高德斌,刘婧,杨敏,彭国军,周伟,陶志伟,林洁,邓莉
关键词：
信息安全软件分析安全威胁可信软件
结项摘要
软件内部存在缺陷、错误、故障、失效，软件外部存在病毒、木马、蠕虫等恶意代码的攻击。软件的可信性不仅依赖于软件本身，也依赖于软件所在的环境。不可信环境会污染可信软件，改变可信软件的行为，给可信软件带来严重的威胁和安全风险。目前缺少对软件可信性分析和评估的有效理论和方法。.本项目研究软件的数据格式、操作系统进程管理、恶意软件，逐步建立软件的威胁模型，并首次提出软件的结构完整性模型；引入复杂网络理论的思
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
5
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
傅建明的其他基金
批准号：61373168
批准年份：2013
资助金额：75.00
项目类别：面上项目
相似国自然基金
1
面向软件可信性演进的软件测试技术研究
批准号：90818027
批准年份：2008
负责人：徐宝文
学科分类：F0203
资助金额：260.00
项目类别：重大研究计划
2
面向复合可信属性的软件可信性监控与优化
批准号：90718033
批准年份：2007
负责人：黄涛
学科分类：F0207
资助金额：50.00
项目类别：重大研究计划
3
基于失信因子的软件系统可信性分析
批准号：90718036
批准年份：2007
负责人：周献中
学科分类：G01
资助金额：50.00
项目类别：重大研究计划
4
航空嵌入式软件可信性度量模型研究
批准号：90818017
批准年份：2008
负责人：张莉
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划