The original Logic of Authentication paper (linked below) contains this example and many others, including analyses of the Kerberos handshake protocol, and two versions of the Andrew Project RPC handshake (one of which is defective).
Microsoft developed alternative technology (GSS-TSIG) based on Kerberos authentication.
A modified GSS-TSIG - using the Windows Kerberos Server - was implemented by Microsoft Windows Active Directory servers and clients called Secure Dynamic Update.
The narration is about events happening to Koichi Todome while exiled from Japan after the Kerberos Riot, before Inui came to Taiwan seeking for him.