Provable-security analysis of authenticated encryption in Kerberos

Alexandra Boldyreva, Virendra Kumar. Provable-security analysis of authenticated encryption in Kerberos. IET Information Security, 5(4):207-219, 2011. [doi]

Abstract

Abstract is missing.