机构

• 软件研究所 [14]
• 寒区旱区环境与工程研... [1]

采集方式

• OAI收割 [15]

内容类型

• 期刊论文 [8]
• 学位论文 [7]

发表日期

• 2015 [1]
• 2011 [1]
• 2009 [1]
• 2008 [1]
• 2007 [3]
• 2006 [5]
• 更多

学科主题

• 计算机科学技术基础学... [1]

筛选

浏览/检索结果: 共15条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 数据库形式化安全策略模型建模及分析方法 期刊论文  OAI收割 通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151 王榕; 张敏; 冯登国; 李昊   |  收藏  |   空间信息基础设施安全策略模型与应用研究 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2011 张德胜   |  收藏  |   基于安全策略模型的安全功能测试用例生成方法 期刊论文  OAI收割 计算机研究与发展, 2009, 卷号: 46, 期号: 10, 页码: 1055-1062 张敏; 冯登国; 陈驰   |  收藏  |   高安全等级操作系统形式化开发技术研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2008 李丽萍 收藏  |   安全操作系统策略模型的关键问题研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 何建波 收藏  |   高等级数据库管理系统安全保障技术研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 张敏 收藏  |   一个基于安全模型的测试用例生成工具 期刊论文  OAI收割 中国科学院研究生院学报, 2007, 期号: 3, 页码: 300-306 黄亮; 冯登国; 张敏   |  收藏  |   高安全等级操作系统可信进程安全策略及其关键技术的研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2006 沈晴霓 收藏  |   基于访问控制空间的多策略安全体系结构 期刊论文  OAI收割 通信学报, 2006, 卷号: 27, 期号: 2, 页码: 107 李丽萍; 卿斯汉; 贺也平; 沈晴霓   |  收藏  |   支持增强Linux安全性的多个安全策略模型的统一框架 期刊论文  OAI收割 中国科学院研究生院学报, 2006, 期号: 2, 页码: 205-212 袁春阳; 石文昌; 梁洪亮; 武延军; 商青华   |  收藏  |