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

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
Completeness of Hoare logic with inputs over the standard model [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2016-01-01, 卷号: 612, 页码: 23-28
Xu, ZW; Sui, YF; Zhang, WH
  |  
 
支持用户撤销的属性认证密钥协商协议 [期刊论文]
通信学报, 2014-01-01, 卷号: 35, 期号: 5, 页码: 33-43
李强; 冯登国; 张立武

 
gateway-oriented password-authenticated key exchange protocol in the standard model [期刊论文]
Journal of Systems and Software, 2011-01-01, 卷号: 85, 期号: 3, 页码: -
Fushan Wei; Zhenfeng Zhang; Chuangui Ma

 
modular approach to the design and analysis of password-based security protocols [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2007-01-01, 卷号: 50, 期号: 3, 页码: 381-398
Feng DengGuo; Chen WeiDong
  |  
 

1

 

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