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

Search Results

Help

Item hits: (Results 1-10 of 24)

Filters    
Items/Page:    Sort:
对两个口令认证密钥交换协议的安全性分析 [期刊论文]
计算机工程与应用, 2010-01-01, 卷号: 46, 期号: 18, 页码: 18-20
胡学先; 刘文芬; 张振峰
  |  
 
security model and modular design of fair authentication key exchange protocols [期刊论文]
SCIENCE CHINA-INFORMATION SCIENCES, 2010-01-01, 卷号: 53, 期号: 2, 页码: 278-287
Feng DengGuo; Chen WeiDong
  |  
 
a high-accuracy nonintrusive networking testbed for wireless sensor networks [期刊论文]
EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, 2010-01-01, 卷号: 2010, 期号: 1, 页码: -
Wei Huangfu; Sun Limin; Liu Jiangchuan
  |  
 
some improvements on model checking coreasm models of security protocols [会议论文]
2nd International Symposium on Data, Privacy and E-Commerce, ISDPE 2010, Buffalo, NY, United states, September
Zhao Zhenju; Liu Feng; Peng Jianhua; Huang Danqing; Xue Rui; Zhang Zhenfeng
  |  
 
trusted channels with password-based authentication and tpm-based attestation [会议论文]
2010 International Conference on Communications and Mobile Computing, CMC 2010, Shenzhen, China, April 12,
Zhou Lingli; Zhang Zhenfeng
  |  
 
threshold password-based authenticated group key exchange in gateway-oriented setting [会议论文]
6th International Conference on Information Security Practice and Experience, Seoul, SOUTH KOREA, MAY 12-13,
Li Hui; Wu Chuan-Kun; Wei Lingbo
  |  
 
formal verification of hmqv using asm-spv [会议论文]
6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831
Huang Danqing; Xue Rui; Liu Feng; Peng Jianhua; Zhao Zhenju; Ji Dongyao
  |  
 
an efficient mutual authentication and key agreement protocol preserving user anonymity in mobile networks [会议论文]
an efficient mutual authentication and key agreement protocol preserving user anonymity, 北京, 2010
Xu Jing; Zhu Wen-Tao; Feng Deng-Guo
  |  
 
asm-spv: a model checker for security protocols [会议论文]
6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831
Peng Jianhua; Liu Feng; Zhao Zhenju; Huang Danqing; Xue Rui
  |  
 
adaptive voice stream multicast over low-power wireless networks [会议论文]
31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, CA, 40850
Liqun Li; Guoliang Xing; Qi Han; Limin Sun
  |  
 

1 2 3 next

 

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