| 国标四级安全操作系统的内存泄露分析方法研究 |
| |
| 引用本文： | 丁丽萍.国标四级安全操作系统的内存泄露分析方法研究[J].信息网络安全,2011(6):67-68. |
| |
| 作者姓名： | 丁丽萍 |
| |
| 作者单位： | 中国科学院软件研究所,北京,100190 |
| |
| 摘 要： | 该文首先简要介绍了国家标准（GB/T20271-2006、GB/T20272-2006等）对四级操作系统进行中抵抗力分析的要求,进而针对操作系统内存泄露缺陷提出了动态系统化搜索的方法。该文论述了笔者在研发国标四级操作系统＂方德方舟安全操作系统＂（NFSARK）的过程中,针对系统内存泄露采用的分析方法。
|
| 关 键 词： | 国家标准 四级安全操作系统 抵抗力分析 脆弱性 内存泄露 |
Memory Leak Analysis for the GB Forth Level Secure Operating System |
| |
| DING Li-ping.Memory Leak Analysis for the GB Forth Level Secure Operating System[J].Netinfo Security,2011(6):67-68. |
| |
| Authors: | DING Li-ping |
| |
| Affiliation: | DING Li-ping(National Engineering Research Center of Fundamental Software,Institute of Software,Chinese Academy of Sciences,Beijing 100190,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | national standards the forth level security operating system system resistance analysis vulnerability memory leak |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
