中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-5 of 5)

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 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In