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

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters    
Items/Page:    Sort:
3kf9: enhancing 3gpp-mac beyond the birthday bound [会议论文]
18th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2012, Beijing, China, December 2, 2012 - December 6, 2012
Zhang Liting; Wu Wenling; Sui Han; Wang Peng

 
polye+ctr: a swiss-army-knife mode for block ciphers [会议论文]
5th International Conference on Provable Security, ProvSec 2011, Xi'an, China, 16-Oct
Zhang Liting; Wu Wenling; Wang Peng
  |  
 
assume-guarantee reasoning with local specifications [会议论文]
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, 40848
Lomuscio Alessio; Strulo Ben; Walker Nigel; Wu Peng
  |  
 
extended models for message authentication [会议论文]
11th International Conference on Information Security and Cryptology, Seoul, SOUTH KOREA, DEC 03-05,
Zhang Liting; Wu Wenling; Wang Peng

 
symbolic test generation using a temporal logic with constrained events [会议论文]
Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25,
Liu Daguang; Wu Peng; Lin Huimin
  |  
 

1

 

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