国际四级安全操作系统的内存泄露分析方法研究
文献类型:期刊论文
作者 | 丁丽萍 |
刊名 | 信息网络安全
![]() |
出版日期 | 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
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。