专题首页
中图分类法(31)
工业技术(31)
在“
CNKI学位论文
”中，
命中：
31
条，耗时：小于0.01 秒
1.
基于规约模式的C程序性质描述与验证
作者：
左春华
关键词：
规约模式
;
C-PDL
;
性质描述
;
形式化验证
;
SPIN
论文级别：
硕士
学位年度：2007
2.
《
结构化保护级
》安全操作系统之网络子系统的研究与开发
作者：
赵志科
关键词：
安全操作系统
;
安全模型
;
强制访问控制
;
Flask
;
LSM
论文级别：
硕士
学位年度：2003
3.
基于Linux的安全操作系统—SLinux的研究与设计
作者：
易明
关键词：
安全操作系统
;
结构化保护级
;
安全模型
;
MAC
;
网络安全
论文级别：
硕士
学位年度：2004
4.
Kylin访问框架下基于TE策略网络安全研究与实现
作者：
汤靓
关键词：
TE
;
安全操作系统
;
访问控制
;
细粒度
;
最小权限
论文级别：
硕士
学位年度：2006
5.
嵌入式操作系统安全机制研究与扩展实现
作者：
江维
关键词：
安全操作系统
;
B1级安全标准
;
访问控制
;
安全扩展
;
安全审计
论文级别：
硕士
学位年度：2006
6.
基于CC的操作系统抗攻击测试指标体系研究
作者：
许友
关键词：
CC标准
;
抗攻击测试
;
指标体系
论文级别：
硕士
学位年度：2006
7.
基于行为的主机入侵防护系统研究与设计
作者：
李春光
关键词：
主机入侵防护系统
;
基于行为
;
多安全策略
;
安全模型
;
域-类型增强
;
BLP
;
Flask
;
拦截技术
论文级别：
硕士
学位年度：2006
8.
安全操作系统测评方法研究
作者：
崔永祯
关键词：
安全操作系统
;
安全测评
;
安全策略模型
;
渗透测试
;
隐通道
;
保证映射
;
实现流程
;
导航测评
论文级别：
硕士
学位年度：2004
9.
高安全级别可信操作系统实现研究
作者：
胡俊
关键词：
结构化保护级
;
安全操作系统
;
强制访问控制模型
;
信息流
;
可信计算
;
形式化方法
论文级别：
博士
学位年度：2008
10.
基于安全标记的区域边界访问控制技术研究
作者：
马相林
关键词：
区域边界
;
访问控制
;
安全标记
;
安全标记保护级
;
CIPSO
;
组策略管理
论文级别：
硕士
学位年度：2010
1
2
3
4
按检索点细分(31)
题名(2)
目录(8)
关键词(4)
摘要(6)
引文(24)
按论文级别细分(31)
博士(5)
硕士(26)
按学位年度细分(31)
2002年(1)
2003年(1)
2004年(5)
2005年(3)
2006年(5)
2007年(3)
2008年(6)
2009年(4)
2010年(2)
2011年(1)