摘要
该文首先简要介绍了国家标准(GB/T20271-2006、GB/T20272-2006等)对四级操作系统进行中抵抗力分析的要求,进而针对操作系统内存泄露缺陷提出了动态系统化搜索的方法。该文论述了笔者在研发国标四级操作系统"方德方舟安全操作系统"(NFSARK)的过程中,针对系统内存泄露采用的分析方法。
This paper firstly introuduces the national standards（GB/T20271-2006,GB/T20272-2006,etc.） required pursue system resistance analysis for the forth level security operating system,and vulnerability assessment of the system requires systematic search. This article discusses the system＇s memory leak analysis methods used during the development of the forth level security operating systems ＂NFS ARK＂ secure operating system.
出处
《信息网络安全》
2011年第6期67-68,共2页
Netinfo Security
关键词
国家标准
四级安全操作系统
抵抗力分析
脆弱性
内存泄露
national standards
the forth level security operating system
system resistance analysis
vulnerability
memory leak
