机构

• 软件研究所 [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 王榕; 张敏; 冯登国; 李昊   |  收藏  |  浏览/下载：28/0  |  提交时间：2016/12/09 形式化建模  数据库  定理证明  安全策略模型   空间信息基础设施安全策略模型与应用研究 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2011 张德胜   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/06/30 空间信息基础设施  空间数据库  web地图  空间数据模型  安全策略模型  隐私保护   基于安全策略模型的安全功能测试用例生成方法 期刊论文  OAI收割 计算机研究与发展, 2009, 卷号: 46, 期号: 10, 页码: 1055-1062 张敏; 冯登国; 陈驰   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/05/27 安全策略模型  安全功能测试  测试用例生成  自动化测试  基于类型的划分   高安全等级操作系统形式化开发技术研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2008 李丽萍 收藏  |  浏览/下载：13/0  |  提交时间：2011/03/17 安全操作系统  形式化  形式化安全策略模型  形式化顶层规范  求精  安全体系结构  微内核   安全操作系统策略模型的关键问题研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 何建波 收藏  |  浏览/下载：16/0  |  提交时间：2011/03/17 安全操作系统  安全策略  安全模型  形式化方法  信息流分析   高等级数据库管理系统安全保障技术研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 张敏 收藏  |  浏览/下载：13/0  |  提交时间：2011/03/17 数据库管理系统  安全保障  安全策略模型  安全功能测试  隐通道   一个基于安全模型的测试用例生成工具 期刊论文  OAI收割 中国科学院研究生院学报, 2007, 期号: 3, 页码: 300-306 黄亮; 冯登国; 张敏   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/01 测试用例  信息安全产品测评  类型划分  安全策略模型   高安全等级操作系统可信进程安全策略及其关键技术的研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2006 沈晴霓 收藏  |  浏览/下载：23/0  |  提交时间：2011/03/17 安全操作系统  可信进程  安全策略  模型  形式化分析  特权  可信路径   基于访问控制空间的多策略安全体系结构 期刊论文  OAI收割 通信学报, 2006, 卷号: 27, 期号: 2, 页码: 107 李丽萍; 卿斯汉; 贺也平; 沈晴霓   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/08/23 安全体系结构  安全策略模型  Linux安全模块  策略规范 security architecture  security policy model  Linux security module  policy specification   支持增强Linux安全性的多个安全策略模型的统一框架 期刊论文  OAI收割 中国科学院研究生院学报, 2006, 期号: 2, 页码: 205-212 袁春阳; 石文昌; 梁洪亮; 武延军; 商青华   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/13 安全操作系统  访问控制  审计  Linux安全模块  安全策略模型