CORC

在结果中检索

CORC

浏览/检索结果: 共21条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
数据库形式化安全策略模型建模及分析方法 期刊论文
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
基于PVS的数据库安全策略形式化分析方法 期刊论文
中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598
李昊; 张敏; 王榕
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16
基于PVS的数据库安全策略形式化分析方法 会议论文
首届全国信息安全等级保护技术大会, 桂林, 2012
李昊; 张敏; 王榕
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/22
操作系统强制访问控制关键技术研究 学位论文
硕士, 中科院 软件所: 中科院 软件所, 2009
周洲仪
收藏  |  浏览/下载：9/0  |  提交时间：2009/06/13
基于安全策略模型的安全功能测试用例生成方法 期刊论文
计算机研究与发展, 2009, 卷号: 46, 期号: 10, 页码: 1055-1062
张敏; 冯登国; 陈驰
收藏  |  浏览/下载：7/0  |  提交时间：2010/05/27
新型网络环境中访问控制模型的研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
张宏
收藏  |  浏览/下载：7/0  |  提交时间：2011/03/17
高安全等级操作系统形式化开发技术研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
李丽萍
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/17
基于属性的访问控制模型与应用研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
翟征德
收藏  |  浏览/下载：8/0  |  提交时间：2011/03/17
安全操作系统开发中的形式化技术应用研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
陈坤
收藏  |  浏览/下载：6/0  |  提交时间：2011/03/17
高等级安全操作系统中可信恢复关键技术研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
袁春阳
收藏  |  浏览/下载：13/0  |  提交时间：2011/03/17

©版权所有 ©2017 CSpace - Powered by CSpace