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

Search Results

Help

Item hits: (Results 11-17 of 17)

Filters        
Items/Page:    Sort:
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
  |  
 
attribute-based conditional proxy re-encryption with chosen-ciphertext security [会议论文]
53rd IEEE Global Communications Conference, GLOBECOM 2010, Miami, FL, United states, 40883
Zhao Jing; Feng Dengguo; Zhang Zhenfeng
  |  
 
a language for secure requirement description based on information flow [会议论文]
2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010, Xiamen, China, 40845
Cheng Liang; Zhang Yang; Feng Dengguo
  |  
 
an interactive high-fidelity haptic needle simulator with gpu acceleration [会议论文]
9th ACM SIGGRAPH International Conference on VR Continuum and Its Applications in Industry, VRCAI 2010, Seoul, Korea, Republic of, 40878
Zhang Ji-Shuai; Chen Hui; Wu Wen; Heng Pheng-Ann
  |  
 
an enhanced password authenticated key agreement protocol for wireless mobile network [会议论文]
5th International Conference on Information Security and Cryptology, Inscrypt 2009, Beijing, China, 40878
Gao Zhigang; Feng Dengguo
  |  
 
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
  |  
 
a byte-based guess and determine attack on sosemanuk [会议论文]
16th Annual International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2010, Singapore, Singapore, 40882
Feng Xiutao; Liu Jun; Zhou Zhaocun; Wu Chuankun; Feng Dengguo
  |  
 

previous 1 2

 

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