国际四级安全操作系统的内存泄露分析方法研究
丁丽萍
Memory Leak Analysis for the GB Forth Level Secure Operating System
信息网络安全 . 2011, (6): 0 -0 .