Verification of A Key Chain Based TTP Transparent CEM Protocol

Zhiyuan Liu, Jun Pang, Chenyi Zhang. Verification of A Key Chain Based TTP Transparent CEM Protocol. Electronic Notes in Theoretical Computer Science, 274:51-65, 2011. [doi]

Abstract

Abstract is missing.