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

Search Results

Help

Item hits: (Results 1-10 of 51)

Filters    
Items/Page:    Sort:
基于 TPM 2.0 的协议设计与分析研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2019-05-01
王微谨
  |  
 
下一代可信计算协议的设计与分析 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-21
邵健雄
  |  
 
面向应用的公钥密码系统及其可证明安全研究 [学位论文]
博士, 北京: 中国科学院大学, 2015-01-01
张江
  |  
 
可信计算协议的形式化分析方法和测试技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-11-01
奚瓅
  |  
 
基于状态转移系统的安全协议形式化建模方法的研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-29
岳庆刚
  |  
 
基于动态污点传播的恶意代码分析研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2011-05-29
刘豫
  |  
 
基于模型检测的安全协议形式化分析方法的研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-05-26
赵振举
  |  
 
分布式短事务系统中提交协议的研究 [期刊论文]
计算机科学, 2011-01-01, 期号: 8, 页码: 29-32,41
付艳艳; 陈驰; 冯登国
  |  
 
安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势 [期刊论文]
中国科学院院刊, 2011-01-01, 期号: 3, 页码: 287-296
薛锐; 雷新锋
  |  
 
时间相关密码协议逻辑及其形式化语义 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 3, 页码: 534-557
雷新锋; 刘军; 肖军模
  |  
 

1 2 3 4 5 6 next

 

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