Search Results

Item hits: (Results 51-60 of 136)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	解决度量-验证时间差的一种差值证明方法 [期刊论文] 通信学报, 2009-01-01, 期号: S1, 页码: 43-50 张谦; 贺也平; 孟策   |
	基于属性的远程证明的隐私性分析 [期刊论文] 通信学报, 2009-01-01, 期号: S2, 页码: 146-152 李尚杰; 贺也平; 刘冬梅; 袁春阳   |
	公平认证密钥交换协议的安全模型与模块化设计 [期刊论文] 中国科学(F辑:信息科学), 2009-01-01, 期号: 10, 页码: 1055-1062 冯登国; 陈伟东   |
	∑-协议的几个性质 [期刊论文] 广州大学学报(自然科学版), 2009-01-01, 期号: 5, 页码: 23-27 彭小玉; 唐春明
	基于组件属性的远程证明 [期刊论文] 软件学报, 2009-01-01, 卷号: 20, 期号: 6, 页码: 1625-1641 秦宇; 冯登国   |
	语义Web中的自动推理和主动规则终止性分析 [学位论文] 博士, 中国科学院软件研究所: 中国科学院研究生院, 2008-06-04 徐贵红   |
	MIKEY协议在实时流传输中密钥协商模式的研究 [期刊论文] 计算机应用与软件, 2008-01-01, 卷号: 25, 期号: 12, 页码: 76-78,92 李昕; 曹天杰; 毕方明   |
	基于DSL的装备保障领域建模 [期刊论文] 计算机工程, 2008-01-01, 卷号: 34, 期号: 2, 页码: 66-68,71 王金全; 郑宇军; 王侃   |
	支持动态标准的政务元数据管理的研究与应用 [期刊论文] 计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 642-646 林小晶; 杨立; 左春   |
	软件工作量最优线性组合估算方法 [期刊论文] 计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 23, 页码: 6029-6032,6036 李奇; 舒风笛; 伍书剑; 刘雪强   |

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