C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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