国际四级安全操作系统的内存泄露分析方法研究

丁丽萍

首页> 中文期刊> 《信息网络安全》 >国际四级安全操作系统的内存泄露分析方法研究

国际四级安全操作系统的内存泄露分析方法研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

该文首先简要介绍了国家标准(GB/T20271-2006、GB/T20272-2006等)对四级操作系统进行中抵抗力分析的要求,进而针对操作系统内存泄露缺陷提出了动态系统化搜索的方法.该文论述了笔者在研发国标四级操作系统"方德方舟安全操作系统"(NFS ARK)的过程中,针对系统内存泄露采用的分析方法.

著录项

来源
《信息网络安全》 |2011年第6期|67-68|共2页
作者
丁丽萍;
展开▼
作者单位

中国科学院软件研究所,北京,100190;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
国家标准; 四级安全操作系统; 抵抗力分析; 脆弱性; 内存泄露;

相似文献

中文文献
外文文献
专利

1. 图灵四级安全操作系统隐蔽通道分析研究 [J] . 陆连浩 ,平玲娣 ,潘雪增 . 计算机工程 . 2006,第021期
2. 基于智能电网内部数据流分析的内存泄露检测方法研究 [J] . 陈畅 ,刘福来 . 信息安全研究 . 2022,第1期
3. 基于指针分析的内存泄露故障测试方法研究 [J] . 张威 ,卢庆龄 ,李梅 . 计算机应用研究 . 2006,第010期
4. 我国研究型大学国际化战略实施的项目管理方法研究--基于“985工程”大学国际化战略的文本内容分析 [J] . 丁仕潮 ,周密 . 科技管理研究 . 2014,第018期
5. 国际机场服务诊断与改进分析方法研究及实证分析 [J] . 李瑞 ,池宏 ,祁明亮 . 管理评论 . 2007,第004期
6. 一种基于半代数系统的C程序内存泄露漏洞分析方法研究 [C] . DENG Hui ,邓辉 ,DONG Guowei . 第七届信息安全漏洞分析与风险评估大会 . 2014
7. 四级安全操作系统SECOS的研究与实现 [A] . 毛韡锋 . 2006

国际四级安全操作系统的内存泄露分析方法研究

摘要

著录项

相似文献

相关主题

期刊订阅