Profil

LIU Z.

Main Referenced Co-authors
PANG, Jun  (1)
ZHANG, Chenyi  (1)
Main Referenced Disciplines
Computer science (1)

Publications (total 1)

The most downloaded
49 downloads
LIU, Z., PANG, J., & ZHANG, C. (2011). Verification of a key-chain based TTP transparent CEM protocol. Proceedings of the 3rd Workshop on Harnessing Theories for Tool Support in Software, ENTCS 274, 51-65. https://hdl.handle.net/10993/200

LIU, Z., PANG, J., & ZHANG, C. (2011). Verification of a key-chain based TTP transparent CEM protocol. Proceedings of the 3rd Workshop on Harnessing Theories for Tool Support in Software, ENTCS 274, 51-65.
Peer reviewed

Contact ORBilu