@inproceedings{LPZ11, author = {Z. Liu and J. Pang and C. Zhang}, title = {Verification of a key-chain based {TTP} transparent {CEM} protocol}, booktitle = {Proc.\ 3rd Workshop on Harnessing Theories for Tool Support in Software (TTSS'10)}, series = {Electronic Notes in Theoretical Computer Science}, year = {2011}, publisher = {Elsevier}, volume = {274}, pages = {51--65}, url = {http://satoss.uni.lu/members/jun/papers/TTSS10.pdf} }