Search Results

Item hits: (Results 21-30 of 112)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	基于模型检测的安全协议形式化分析方法的研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2011-05-26 赵振举   |
	高安全级信息系统中的特权控制机制及其模型研究 [会议论文] 2011年第五届中国可信计算与信息安全学术会议(CTCIS2011), 贵阳, 2011 陈亚莎; 赵勇; 刘燕; 沈昌祥
	一种形式化的组件化软件过程建模方法 [期刊论文] Journal of Software, 2011-01-01, 卷号: 22, 期号: 1, 页码: 1-16 翟健; 杨秋松; 肖俊超; 李明树
	高安全级信息系统中的特权控制机制及其模型研究 [期刊论文] 山东大学学报(理学版), 2011-01-01, 期号: 9, 页码: 57-60 陈亚莎; 赵勇; 刘燕; 沈昌祥   |
	安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势 [期刊论文] 中国科学院院刊, 2011-01-01, 期号: 3, 页码: 287-296 薛锐; 雷新锋   |
	时间相关密码协议逻辑及其形式化语义 [期刊论文] 软件学报, 2011-01-01, 卷号: 22, 期号: 3, 页码: 534-557 雷新锋; 刘军; 肖军模   |
	SRL→Radl生成系统及其相关理论研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2010-09-01 王昌晶   |
	一种基于安全状态转移的简并测试集生成方法 [期刊论文] 软件学报, 2010-01-01, 卷号: 21, 期号: 3, 页码: 539-547 程亮; 张阳; 冯登国   |
	笔式界面软件快速开发工具 [期刊论文] 中国图象图形学报, 2010-01-01, 卷号: 15, 期号: 7, 页码: 1007-1013 华超; 邓昌智; 戴国忠   |
	面向访问验证保护级的安全VMM形式化原型系统设计和实现 [期刊论文] 计算机科学, 2010-01-01, 卷号: 37, 期号: 12, 页码: 85-90 易秋萍; 刘剑; 武术   |

previous 1 2 3 4 5 6 7 8 9 10 11 12 next