国际四级安全操作系统的内存泄露分析方法研究
文献类型:期刊论文
| 作者 | 丁丽萍 |
| 刊名 | 信息网络安全
![]() |
| 出版日期 | 2011 |
| 期号 | 6页码:67-68 |
| 关键词 | 国家标准 四级安全操作系统 抵抗力分析 脆弱性 内存泄露 |
| ISSN号 | 1671-1122 |
| 其他题名 | memory leak analysis for the gb forth level secure operating system |
| 中文摘要 | 该文首先简要介绍了国家标准(GB/T20271-2006、GB/T20272-2006等)对四级操作系统进行中抵抗力分析的要求,进而针对操作系统内存泄露缺陷提出了动态系统化搜索的方法.该文论述了笔者在研发国标四级操作系统"方德方舟安全操作系统"(NFS ARK)的过程中,针对系统内存泄露采用的分析方法. |
| 收录类别 | WANFANG ; CNKI |
| 语种 | 中文 |
| 公开日期 | 2013-10-08 |
| 源URL | [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. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。

