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

Search Results

Help

Item hits: (Results 1-4 of 4)

Filters    
Items/Page:    Sort:
hctr: a variable-input-length enciphering mode [会议论文]
1st SKLOIS Conference on Information Security and Cryptology, Beijing, PEOPLES R CHINA, DEC 15-17,
Wang P; Feng DG; Wu WL
  |  
 
on the security of tweakable modes of operation: tbc and tae [会议论文]
8th International Conference on Information Security, Singapore, SINGAPORE, SEP 20-23,
Wang P; Feng DG; Wu WL
  |  
 
compositional modelling and verification of ipv6 mobility [会议论文]
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Wu P; Zhang DM
  |  
 
compositional analysis of mobile ip with symbolic transition graphs [会议论文]
16th International Conference on Computer Communication (ICCC 2004), Beijing, PEOPLES R CHINA, SEP 15-17,
Wu P; Zhang DM
  |  
 

1

 

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