DTKI: A New Formalized PKI with Verifiable Trusted Parties

Jiangshan Yu, Vincent Cheval, Mark Ryan. DTKI: A New Formalized PKI with Verifiable Trusted Parties. Comput. J., 59(11):1695-1713, 2016. [doi]

Abstract

Abstract is missing.