中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-7 of 7)

Items/Page: Sort:
	数据库形式化安全策略模型建模及分析方法 [期刊论文] 通信学报, 2015-01-01, 卷号: 36, 期号: 9, 页码: 2015151 王榕; 张敏; 冯登国; 李昊 \|
	基于可信芯片的平台身份证明方案研究 [期刊论文] 通信学报, 2014-01-01, 卷号: 35, 期号: 8, 页码: 95-106 张倩颖; 冯登国; 赵世军
	基于属性的远程证明模型 [期刊论文] 通信学报, 2010-01-01, 卷号: 31, 期号: 8, 页码: 40551 于爱民; 冯登国; 汪丹 \|
	解决度量-验证时间差的一种差值证明方法 [期刊论文] 通信学报, 2009-01-01, 期号: S1, 页码: 43-50 张谦; 贺也平; 孟策 \|
	基于属性的远程证明的隐私性分析 [期刊论文] 通信学报, 2009-01-01, 期号: S2, 页码: 146-152 李尚杰; 贺也平; 刘冬梅; 袁春阳 \|
	改进的CBC模式及其安全性分析 [期刊论文] 通信学报, 2007-01-01, 卷号: 28, 期号: 3, 页码: 52-56 温凤桐; 吴文玲; 温巧燕 \|
	安全策略模型规范及其形式分析技术研究 [期刊论文] 通信学报, 2006-01-01, 期号: 6, 页码: 94-101 李丽萍; 卿斯汉; 周洲仪; 何建波; 温红子 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In