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

Search Results

Help

Item hits: (Results 1-10 of 29)

Filters    
Items/Page:    Sort:
认证加密方案的设计与安全性证明 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-10-01
眭晗
  |  
 
移动智能终端远程证明方案研究与设计 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-25
詹世才
  |  
 
混成CSP的概率与随机扩充 [学位论文]
硕士, 北京: 中国科学院大学, 2015-05-01
彭宇
  |  
 
基于格理论的密码学研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2015-04-01
谢翔
  |  
 
面向应用的公钥密码系统及其可证明安全研究 [学位论文]
博士, 北京: 中国科学院大学, 2015-01-01
张江
  |  
 
基于MTM的可信系统应用与安全性分析研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-11-23
冯伟
  |  
 
并发系统差分隐私的形式化验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-11-01
许丽丽
  |  
 
一种具有多级安全标记的权能访问控制模型及隔离性证明 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-01
周鹏颖
  |  
 
公平性约束下基于抽象和推理的活性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-31
龙腾
  |  
 
基于余代数的模型检测和定理证明 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-29
高建华
  |  
 

1 2 3 next

 

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