Р believes X - Р верит в то, что X истинно.

Р sees Х- кто-либо послал Р сообщение, содержащее X, и Р может прочитать и повторить X (возможно после проведения процедуры расшифрования).

Р said Х- Р когда-либо посылал сообщение, содержащее X, и при этом Р доверял X в момент его передачи.

Р control X - Р имеет права на X.

#(Х) - данная конструкция означает, что X не было использовано в предыдущих итерациях протокола.

Р < к ) Q - Р и Q, разделяют между собой ключ К, соответственно Р и Q, доверяют друг другу.

к ) Р - Р имеет открытый ключ К, соответствующий секретному ключу К"1, который никогда не будет раскрыт другими участниками криптопротокола.

Р < х ) Q-X- секретная формула, известная только Р и Q, и эту формулу Р и Q могут использовать для идентификации друг друга.

{X}KfromP- данная конструкция означает, что формула X была зашифрована на ключе К, принадлежащем Р.