中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 41-50 of 226)

Items/Page:    Sort:
列车通信网络协议栈的实时性研究 [期刊论文]
计算机工程与设计, 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

 

Valid XHTML 1.0!
Copyright © 2007-2022  中国科学院软件研究所 - Feedback
Powered by CSpace