I don't know if this one was mentioned yet, but there's also "Kerberos: A Network Authentication System" by Brian Tung (addison wesley) It's more of a booklet than a book, and it doens't go in to deep detail, but it does a good job as an intro to kerberos.