Algorithm design as dialogue

I think Bill Bryant's presentation of the Kerberos authentication system is delightful. It would be easy for this technique to be silly and absurd, but Bryant handles it very well and the result is a clear and methodical presentation of the reasoning behind one of the most important and long-lived algorithms in modern computing.