Kerberos Errata Submission - Research Process Discusses how I went about writing a proof for an errata submission on the kerberos authentication process