Liu, Zhiyuan ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Pang, Jun ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Zhang, Chenyi ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Verification of a key-chain based TTP transparent CEM protocol
Publication date :
2011
Event name :
International Workshop on Harnessing Theories for Tool Support in Software
Event place :
Shanghai, China
Event date :
2010
Audience :
International
Journal title :
Proceedings of the 3rd Workshop on Harnessing Theories for Tool Support in Software