Institutional Repository
| 国际四级安全操作系统的内存泄露分析方法研究 | |
| Alternative Title | memory leak analysis for the gb forth level secure operating system |
| 丁丽萍 | |
| 2011 | |
| Source | 信息网络安全
 |
| ISSN | 1671-1122 |
| Issue | 6Pages:67-68 |
| English Abstract | 该文首先简要介绍了国家标准(GB/T20271-2006、GB/T20272-2006等)对四级操作系统进行中抵抗力分析的要求,进而针对操作系统内存泄露缺陷提出了动态系统化搜索的方法.该文论述了笔者在研发国标四级操作系统"方德方舟安全操作系统"(NFS ARK)的过程中,针对系统内存泄露采用的分析方法. |
| Indexed Type | WANFANG ; CNKI |
| Keyword | 国家标准 四级安全操作系统 抵抗力分析 脆弱性 内存泄露 |
| Department | 中国科学院软件研究所,北京,100190 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16100 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 丁丽萍. 国际四级安全操作系统的内存泄露分析方法研究[J]. 信息网络安全,2011(6):67-68. |
| APA | 丁丽萍.(2011).国际四级安全操作系统的内存泄露分析方法研究.信息网络安全(6),67-68. |
| MLA | 丁丽萍."国际四级安全操作系统的内存泄露分析方法研究".信息网络安全 .6(2011):67-68. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment