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

Search Results

Help

Item hits: (Results 11-14 of 14)

Items/Page:    Sort:
generalized unsolicited tests for authentication protocol analysis [会议论文]
7th International Conference on Parallel and Distrubuted Computing, Applications and Technologies, Taipei, TAIWAN, DEC 04-07,
Li Yongjian; Pang Jun
  |  
 
generalized unsolicited tests for authentication protocol analysis [会议论文]
7th International Conference on Parallel and Distrubuted Computing, Applications and Technologies, Taipei, TAIWAN, DEC 04-07,
Li Yongjian; Pang Jun
  |  
 
contextual labelled semantics for higher-order process calculi [会议论文]
Proceedings of the Workshop on the Foundations of Global Ubiquitous Computing (FGUC 2004), September
Li Yongjian
  |  
 
towards a theory of bisimulation for the higher-order process calculi [期刊论文]
Journal of Computer Science and Technology, 2004-01-01, 卷号: 19, 期号: 3, 页码: 352-363
Li Yongjian; Xin-Xin Liu
  |  
 

previous 1 2

 

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