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

Search Results

Help

Item hits: (Results 1-3 of 3)

Items/Page:    Sort:
基于邻接点的VMM动态完整性度量方法 [期刊论文]
通信学报, 2015-01-01, 卷号: 36, 期号: 9, 页码: 2015210
吴涛; 杨秋松; 贺也平
  |  
 
动态远程证明协议及其形式化分析 [期刊论文]
计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 8, 页码: 2901-2905
辛思远; 赵勇; 王婷

 
可信计算平台度量技术及其应用研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-11-22
于爱民
  |  
 

1

 

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