已选(0)清除
条数/页: 排序方式:
|
| 数据库形式化安全策略模型建模及分析方法 期刊论文 通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151 王榕; 张敏; 冯登国; 李昊 收藏  |  浏览/下载:18/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
|