Authentication protocol run

Definition
An authentication protocol run is

"[a]n exchange of messages between a claimant and a verifier that results in authentication (or authentication failure) between the two parties."