Verification of A Key Chain Based TTP Transparent CEM Protocol.

Zhiyuan Liu Jun Pang Chenyi Zhang

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

cryptographic protocols
high security
formal analysis
lightweight
protocol specification
model checker
trusted third party
formal proof
model checking
signature verification
authentication protocol
communication protocol
low cost
network protocols