| 国际四级安全操作系统的内存泄露分析方法研究 |
| 其他题名 | memory leak analysis for the gb forth level secure operating system
|
| 丁丽萍
|
| 2011
|
| 发表期刊 | 信息网络安全
 |
| ISSN | 1671-1122
|
| 期号 | 6页码:67-68 |
| 摘要 | 该文首先简要介绍了国家标准(GB/T20271-2006、GB/T20272-2006等)对四级操作系统进行中抵抗力分析的要求,进而针对操作系统内存泄露缺陷提出了动态系统化搜索的方法.该文论述了笔者在研发国标四级操作系统"方德方舟安全操作系统"(NFS ARK)的过程中,针对系统内存泄露采用的分析方法. |
| 收录类别 | WANFANG
; CNKI
|
| 关键词 | 国家标准
四级安全操作系统
抵抗力分析
脆弱性
内存泄露
|
| 部门归属 | 中国科学院软件研究所,北京,100190
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/16100
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
丁丽萍. 国际四级安全操作系统的内存泄露分析方法研究[J]. 信息网络安全,2011(6):67-68.
|
| APA |
丁丽萍.(2011).国际四级安全操作系统的内存泄露分析方法研究.信息网络安全(6),67-68.
|
| MLA |
丁丽萍."国际四级安全操作系统的内存泄露分析方法研究".信息网络安全 .6(2011):67-68.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论