基于攻击模式的可信软件的建模、度量与验证
基本信息
批准号：90718023
项目类别：重大研究计划
资助金额：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：10.1051/jnwpu/20213920292
发表时间：2021
2
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
3
扶贫资源输入对贫困地区分配公平的影响
扶贫资源输入对贫困地区分配公平的影响
DOI：
发表时间：2020
4
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
5
LTNE条件下界面对流传热系数对部分填充多孔介质通道传热特性的影响
LTNE条件下界面对流传热系数对部分填充多孔介质通道传热特性的影响
DOI：10.11949/0438-1157.20201662
发表时间：2021
李晓红的其他基金
批准号：31800317
批准年份：2018
资助金额：23.00
项目类别：青年科学基金项目
批准号：21872054
批准年份：2018
资助金额：65.00
项目类别：面上项目
批准号：81200918
批准年份：2012
资助金额：23.00
项目类别：青年科学基金项目
批准号：51771163
批准年份：2017
资助金额：55.00
项目类别：面上项目
批准号：81803907
批准年份：2018
资助金额：21.00
项目类别：青年科学基金项目
批准号：50801020
批准年份：2008
资助金额：20.00
项目类别：青年科学基金项目
批准号：41401062
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：81373635
批准年份：2013
资助金额：75.00
项目类别：面上项目
批准号：20842403
批准年份：2008
资助金额：5.00
项目类别：专项基金项目
批准号：50334060
批准年份：2003
资助金额：180.00
项目类别：重点项目
批准号：30170394
批准年份：2001
资助金额：17.00
项目类别：面上项目
批准号：11204250
批准年份：2012
资助金额：25.00
项目类别：青年科学基金项目
批准号：30000073
批准年份：2000
资助金额：18.00
项目类别：青年科学基金项目
批准号：81360526
批准年份：2013
资助金额：52.00
项目类别：地区科学基金项目
批准号：20703018
批准年份：2007
资助金额：20.00
项目类别：青年科学基金项目
批准号：81771352
批准年份：2017
资助金额：54.00
项目类别：面上项目
批准号：30900610
批准年份：2009
资助金额：20.00
项目类别：青年科学基金项目
批准号：61272106
批准年份：2012
资助金额：80.00
项目类别：面上项目
批准号：81560750
批准年份：2015
资助金额：38.00
项目类别：地区科学基金项目
批准号：81301050
批准年份：2013
资助金额：23.00
项目类别：青年科学基金项目
批准号：50074035
批准年份：2000
资助金额：15.00
项目类别：面上项目
批准号：21273076
批准年份：2012
资助金额：80.00
项目类别：面上项目
批准号：61872262
批准年份：2018
资助金额：65.00
项目类别：面上项目
批准号：61572349
批准年份：2015
资助金额：66.00
项目类别：面上项目
批准号：81860817
批准年份：2018
资助金额：36.00
项目类别：地区科学基金项目
相似国自然基金
1
基于网络环境的软件可信性建模与度量研究
批准号：90818021
批准年份：2008
负责人：吴世忠
学科分类：F0203
资助金额：260.00
项目类别：重大研究计划
2
基于定理证明的可信嵌入式软件建模与验证平台研究
批准号：90718039
批准年份：2007
负责人：顾明
学科分类：F0202
资助金额：250.00
项目类别：重大研究计划
3
高可信嵌入式软件建模与验证方法的研究
批准号：61572253
批准年份：2015
负责人：庄毅
学科分类：F0203
资助金额：64.00
项目类别：面上项目
4
可信软件的度量与测试方法研究
批准号：91418202
批准年份：2014
负责人：徐宝文
学科分类：F0203
资助金额：170.00
项目类别：重大研究计划