CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
数据库形式化安全策略模型建模及分析方法 期刊论文
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
收藏  |  浏览/下载：19/0  |  提交时间：2016/12/09
基于PVS的数据库安全策略形式化分析方法 期刊论文
中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598
李昊; 张敏; 王榕
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16
基于安全策略模型的安全功能测试用例生成方法 期刊论文
计算机研究与发展, 2009, 卷号: 46, 期号: 10, 页码: 1055-1062
张敏; 冯登国; 陈驰
收藏  |  浏览/下载：7/0  |  提交时间：2010/05/27
一个基于安全模型的测试用例生成工具 期刊论文
中国科学院研究生院学报, 2007, 期号: 3, 页码: 300-306
黄亮; 冯登国; 张敏
收藏  |  浏览/下载：11/0  |  提交时间：2011/07/01
安全策略模型规范及其形式分析技术研究 期刊论文
通信学报, 2006, 期号: 6, 页码: 94-101
李丽萍; 卿斯汉; 周洲仪; 何建波; 温红子
收藏  |  浏览/下载：10/0  |  提交时间：2011/07/13
基于框架的形式化商务安全策略模型 期刊论文
电子学报, 2005, 卷号: 33, 期号: 2
温红子; 周永彬; 卿斯汉
收藏  |  浏览/下载：8/0  |  提交时间：2010/08/25
基于角色的受限委托模型 期刊论文
软件学报, 2005, 卷号: 16, 期号: 5, 页码: 970-978
徐震; 李谰; 冯登国
收藏  |  浏览/下载：10/0  |  提交时间：2010/05/27

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