Search Results

Item hits: (Results 41-50 of 226)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	列车通信网络协议栈的实时性研究 [期刊论文] 计算机工程与设计, 2011-01-01, 期号: 3, 页码: 761-765 刘泽华; 刘立祥; 王大鹏; 罗郁   |
	一种离线TTP公平非否认协议的安全性分析方法 [期刊论文] 计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 4, 页码: 656-665 刘冬梅; 卿斯汉; 马恒太; 李树仁   |
	时间相关密码协议逻辑及其形式化语义 [期刊论文] 软件学报, 2011-01-01, 卷号: 22, 期号: 3, 页码: 534-557 雷新锋; 刘军; 肖军模   |
	一种基于恶意主体的通用公平交换协议 [期刊论文] 解放军理工大学学报(自然科学版), 2011-01-01, 卷号: 12, 期号: 1, 页码: 19-24 雷新锋; 范晓健; 马文; 刘军; 肖军模   |
	电子商务公平协议设计与分析方法研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2010-04-15 刘冬梅   |
	模型检测MESIF Cache一致性协议 [期刊论文] 计算机工程与应用, 2010-01-01, 卷号: 46, 期号: 17, 页码: 66-68,152 吕正; 陈昊; 陈峰; 吕毅   |
	从Σ-协议到公共参考串模型下可否认零知识的高效编译器 [期刊论文] 中国科学院研究生院学报, 2010-01-01, 卷号: 27, 期号: 6, 页码: 831-837 黄桂芳; 胡磊; 林东岱   |
	一种基于适应度函数遗传算法的公平交换协议自动生成方法 [期刊论文] 电子学报, 2010-01-01, 卷号: 38, 期号: 5, 页码: 1089-1094 刘冬梅; 卿斯汉; 侯玉文; 李鹏飞   |
	实例依赖的可验证随机函数的高效构造 [期刊论文] 计算机应用研究, 2010-01-01, 卷号: 27, 期号: 7, 页码: 2621-2624 师鸣若; 姜中华   |
	基于一阶迁移系统的限界模型检测工具实现 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 118-121,136 冯庆奎   |

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