Talk more about Kerberos in the UofA example