国标四级安全操作系统的内存泄露分析方法研究

	国标四级安全操作系统的内存泄露分析方法研究
	丁丽萍
	2011
发表期刊	信息网络安全
期号	6 页码:67-68
摘要	该文首先简要介绍了国家标准(GB/T20271-2006、GB/T20272-2006等)对四级操作系统进行中抵抗力分析的要求,进而针对操作系统内存泄露缺陷提出了动态系统化搜索的方法。该文论述了笔者在研发国标四级操作系统"方德方舟安全操作系统"(NFSARK)的过程中,针对系统内存泄露采用的分析方法。
关键词	国家标准四级安全操作系统抵抗力分析脆弱性内存泄露
部门归属	中国科学院软件研究所
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13947
专题	基础软件国家工程研究中心
推荐引用方式 GB/T 7714	丁丽萍. 国标四级安全操作系统的内存泄露分析方法研究[J]. 信息网络安全,2011(6):67-68.
APA	丁丽萍.(2011).国标四级安全操作系统的内存泄露分析方法研究.信息网络安全(6),67-68.
MLA	丁丽萍."国标四级安全操作系统的内存泄露分析方法研究".信息网络安全 .6(2011):67-68.