计算机辅助安全性分析

被引:4
作者
周经伦
龚时雨
颜兆林
何小怀
机构
[1] 国防科技大学可靠性研究中心
关键词
安全性分析,风险评价,计算机辅助;
D O I
暂无
中图分类号
TP391.72 [];
学科分类号
080201 ; 080203 ; 081304 ; 1403 ;
摘要
本文概述了计算机辅助安全性分析技术的状况,针对其中存在的问题,提出了一个基于安全性基础数据库及支持工具的计算机辅助系统安全性分析软件平台的框架,说明了其组成部分及功能,分析了该软件平台实现的技术难点。
引用
收藏
页码:24 / 26
页数:3
相关论文
empty
未找到相关数据