The following sections describe the exact contents and encoding of
protocol messages and objects. The ASN.1 base definitions are
presented in the first subsection. The remaining subsections specify
the protocol objects (tickets and authenticators) and messages.
Specification of encryption and checksum techniques, and the fields
related to them, appear in section 6.