中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [3]
采集方式
OAI收割 [3]
内容类型
学位论文 [2]
期刊论文 [1]
发表日期
2010 [1]
2008 [1]
2006 [1]
学科主题
计算机应用::计算机... [1]
筛选
浏览/检索结果:
共3条,第1-3条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
网络安全操作系统关键技术研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2010
李尚杰
  |  
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2010/12/01
安全操作系统
安全策略体系结构
可信主体
隐私保护远程证明
高安全等级操作系统形式化开发技术研究
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2008
李丽萍
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/03/17
安全操作系统
形式化
形式化安全策略模型
形式化顶层规范
求精
安全体系结构
微内核
基于访问控制空间的多策略安全体系结构
期刊论文
OAI收割
通信学报, 2006, 卷号: 27, 期号: 2, 页码: 107
李丽萍
;
卿斯汉
;
贺也平
;
沈晴霓
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2010/08/23
安全体系结构
安全策略模型
Linux安全模块
策略规范 security architecture
security policy model
Linux security module
policy specification