中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 28)

Items/Page:    Sort:
操作系统访问控制安全性分析与强化方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2015-05-01
韩志辉
  |  
 
数据库形式化安全策略模型建模及分析方法 [期刊论文]
通信学报, 2015-01-01, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
  |  
 
基于虚拟机架构的系统完整性保护技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-12-01
丁保增
  |  
 
空间信息基础设施安全策略模型与应用研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2011-05-29
张德胜
  |  
 
网络安全操作系统关键技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-11-25
李尚杰
  |  
 
操作系统强制访问控制关键技术研究 [学位论文]
硕士, 中科院 软件所: 中科院 软件所, 2009-06-02
周洲仪
  |  
 
多安全策略访问控制的关键技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2009-06-02
吴新松
  |  
 
基于安全策略模型的安全功能测试用例生成方法 [期刊论文]
计算机研究与发展, 2009-01-01, 卷号: 46, 期号: 10, 页码: 1055-1062
张敏; 冯登国; 陈驰
  |  
 
基于策略的Web应用服务器安全授权系统的设计与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-06-05
邓柳军

 
高安全等级操作系统形式化开发技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-15
李丽萍
  |  
 

1 2 3 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace