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

Search Results

Help

Item hits: (Results 1-2 of 2)

Filters    
Items/Page:    Sort:
基于属性证明的可信网络接入方案 [期刊论文]
武汉大学学报(理学版), 2012-01-01, 卷号: 58, 期号: 6, 页码: 519-525
赵世军; 冯登国

 
动态远程证明协议及其形式化分析 [期刊论文]
计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 8, 页码: 2901-2905
辛思远; 赵勇; 王婷

 

1

 

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