A formal procedure for verifying a principal's network identity. Kerberos is an instance of an authentication protocol.