Page "Security protocol notation" Paragraph 10

We can express more complicated protocols in such a fashion.

See Kerberos as an example.

Some sources refer to this notation as Kerberos Notation.

Some authors consider the notation used by Steiner, Neuman, & Schiller as a notable reference.