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

Search Results

Help

Item hits: (Results 51-60 of 136)

Items/Page:    Sort:
解决度量-验证时间差的一种差值证明方法 [期刊论文]
通信学报, 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

 

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