Publication Overview

M. Backes and I. Cervesato and A. D. Jaggard and A. Scedrov and J-K. Tsay

Cryptographically sound security proofs for basic and public-key Kerberos

Published in: Int. J. Inf. Sec.
Year: 2011
Volume: 10
Pages: 107-134