期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于模型的软件安全预测与分析
被引量:
5
1
作者
晁永胜
郑秋梅
《计算机工程与设计》
CSCD
北大核心
2008年第14期3669-3672,共4页
为了有效表示和分析软件中存在的安全缺陷和隐患,基于模型的软件安全分析技术采用多层次建模技术实现安全特征的描述,在评价软件及软件组件间安全性的过程中提出软件安全预测技术。通过分析软件组成成分之间的关联度获得相关的安全距离...
为了有效表示和分析软件中存在的安全缺陷和隐患,基于模型的软件安全分析技术采用多层次建模技术实现安全特征的描述,在评价软件及软件组件间安全性的过程中提出软件安全预测技术。通过分析软件组成成分之间的关联度获得相关的安全距离,在此基础之上生成安全依赖图,最后根据安全依赖图进行安全预测和分析。基于模型的安全分析技术能够针对可能存在的安全隐患给出预测和分析,为软件的测试和维护提供依据和手段。
展开更多
关键词
安全建模
安全预测
变量依赖
安全距离
安全依赖图
在线阅读
下载PDF
职称材料
题名
基于模型的软件安全预测与分析
被引量:
5
1
作者
晁永胜
郑秋梅
机构
中国石油大学计算机及通讯学院
出处
《计算机工程与设计》
CSCD
北大核心
2008年第14期3669-3672,共4页
文摘
为了有效表示和分析软件中存在的安全缺陷和隐患,基于模型的软件安全分析技术采用多层次建模技术实现安全特征的描述,在评价软件及软件组件间安全性的过程中提出软件安全预测技术。通过分析软件组成成分之间的关联度获得相关的安全距离,在此基础之上生成安全依赖图,最后根据安全依赖图进行安全预测和分析。基于模型的安全分析技术能够针对可能存在的安全隐患给出预测和分析,为软件的测试和维护提供依据和手段。
关键词
安全建模
安全预测
变量依赖
安全距离
安全依赖图
Keywords
security modeling
security prediction
variable dependency
security distance
security dependency graph
分类号
TP309.2 [自动化与计算机技术—计算机系统结构]
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于模型的软件安全预测与分析
晁永胜
郑秋梅
《计算机工程与设计》
CSCD
北大核心
2008
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部