Welcome to NFSCHINA FTP Server

Please use the links below to navigate:

Files in this directory:

• 安全操作系统的恶意代码防御技术的研究与实施_赵庆松.caj
• 安全操作系统开发方法的研究与实施_石文昌.caj
• 安全操作系统模型和实现结构研究_朱鲁华.caj
• 安全操作系统若干关键技术的研究_刘海峰.caj
• 安全操作系统形式化设计与验证方法研究_钱振江.caj
• 安全操作系统研究的发展_上_石文昌.pdf
• 安全操作系统研究的发展_下_石文昌.pdf
• 安全审计与基于审计的入侵检测_张相锋.caj
• 安全协议形式化分析方法的关键技术研究_谢鸿波.caj
• 安全协议形式化分析理论与方法_范红.caj
• 安全协议形式化分析理论与应用研究_鲁来凤.caj
• 安全协议形式化分析中认证测试方法的研究_刘家芬.caj
• 安全Linux操作系统及安全Web系统的形式化建模与实现_刘克龙.caj
• 安胜安全操作系统的隐蔽通道分析_卿斯汉.pdf
• 操作系统对象语义模型_OSOSM_及形式化验证_钱振江.pdf
• 操作系统形式化设计与安全需求的一致性验证研究_钱振江 (1).pdf
• 操作系统形式化设计与安全需求的一致性验证研究_钱振江.pdf
• 操作系统形式化设计与验证综述_钱振江.pdf
• 堆操作程序分析验证技术研究_李仁见.caj
• 多安全政策支持框架研究及其在安全操作系统中的实践_单智勇.caj
• 高安全级操作系统结构化关键技术研究_孙瑜.caj
• 高安全级操作系统形式设计的研究_季庆光.caj
• 高等级安全操作系统的设计_卿斯汉.pdf
• 基于嵌入式Linux的仪器操作系统的研究_于晓 (1).caj
• 基于嵌入式Linux的仪器操作系统的研究_于晓.caj
• 基于可信计算技术的隐私保护研究_章睿.caj
• 基于信息流分析的安全系统验证_陈波.caj
• 基于信息流分析的隐蔽通道分类与标志_陈喆.pdf
• 基于Linux的安全操作系统_SLinux的研究与设计_易明.caj
• 基于LSM框架的审计系统的设计与实现_王富良.pdf
• _结构化保护级_安全操作系统若干关键技术的研究_刘文清.caj
• 嵌入式操作系统的形式化验证研究_陈丽蓉.pdf
• 可信进程机制及相关问题研究_梁彬.caj
• 特洛伊木马隐藏技术研究_张新宇.pdf
• 微内核架构多线程机制的形式化设计研究_钱振江.pdf
• 微内核架构文件系统的形式化设计与验证方法研究_钱振江.pdf
• 微内核中断机制的形式化设计与验证_李康杰.pdf
• 恶意代码机理与防范技术研究_文伟平.caj
• 物联网资源寻址关键技术研究_孔宁.caj
• 虚拟化平台操作系统内核级Rootkits防护方法研究.kdh
• 一种多层次特权控制机制的设计与实现_沈晴霓.pdf
• 一种支持动态调节的最小特权安全策略架构_沈晴霓.pdf
• 隐蔽通道标识与处理_刘文清.pdf
• 隐蔽通道发现技术综述_夏耐.pdf
• 云计算平台可信性增强技术的研究_陈海波.caj
• 支持多安全政策的安全操作系统的研究与实施_梁洪亮 (1).caj
• 支持多安全政策的安全操作系统的研究与实施_梁洪亮.caj
• ALightweightObjectModellingNotation.pdf
• index.html
• KCapISO_一种基于Hybr_省略_内核操作系统载入模块权能隔离方案_钱振江.pdf
• Web应用服务器关键技术研究_范国闯.caj