![数字化变电站信息网络安全研究]()
论文摘要基于IEC61850标准的数字化变电站采用了开放的、标准的网络技术和对等的通信模式。数字化变电站标准的开放和采用以太网络通信的同时，降低了数字化变电站信息安全性，使得数...
![基于模型检测的安全操作系统验证方法研究]()
论文摘要安全操作系统的形式化验证,作为高等级安全操作系统评估准则的一项重要指标和操作系统安全性能最有效的证明手段,具有重要意义与实用价值。目前形式化验证主要分为模型检测和定理证...
![重庆市“金质工程”网络安全系统研究与实现]()
论文摘要“金质工程”是国家电子政务建设的重要组成部分,是我国电子政务建设12个重点应用之一。目前,“金质工程”正处于一期的全面建设时期,主要任务是完善质检软硬件平台和网络平台,...
![安全操作系统的访问控制与实时报警]()
论文摘要随着计算机和Internet技术的飞速发展,信息资源的共享程度进一步加强,但是随着社会网络化程度的增加,开放式网络体系的安全性隐患开始日益明显的暴露出来。新的漏洞,新的...
![高安全级别可信操作系统实现研究]()
论文摘要本论文是对高安全级别可信操作系统实现的综合分析。论文针对生产信息系统的安全需求,主要考虑达到GB17859中第四级—结构化保护级的操作系统面临的一些关键问题。本论文以国...
![基于Linux的安全审计实现机制及其测试自动化的研究]()
论文摘要操作系统的安全性是保障整个信息系统安全性的根本所在，近年来关于安全操作系统的研究也正逐步升温，而安全审计是安全操作系统的一个重要组成部分，对于保障安全策略的正确实施、监...
![操作系统隐蔽通道标识方法的研究]()
论文摘要操作系统的安全性是保障整个信息系统安全性的根本所在,近年来关于安全操作系统的研究也正逐步升温,而隐蔽通道分析是构建安全操作系统的一个重要组成部分,同时也是构建高等级安全...
![安全操作系统中基于可信度的认证和访问控制技术研究]()
论文题目:安全操作系统中基于可信度的认证和访问控制技术研究论文类型:博士论文论文专业:计算机科学与技术作者:汪伦伟导师:王怀民关键词:安全操作系统,可信度,认证,访问控制,阈值...
