Р believes X - Р вірить в те, що X істинно.

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

Р said Х-Р коли-небудь посилав повідомлення, що містить X, і при цьому Р довіряв X в момент його передачі.

Р control X - Р має права на X.

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

Р <к) Q - Р і Q, поділяють між собою ключ К, відповідно Р і Q, довіряють один одному.

к) Р - Р має відкритий ключ К, відповідний таємному ключу К "1, який ніколи не буде розкрита іншими учасниками кріптопротокола.

Р <х) QX-секретна формула, відома тільки Р і Q, і цю формулу Р і Q можуть використовувати для ідентифікації один одного.

(X) KfromP-дана конструкція означає, що формула X була зашифрована на ключі К, що належить Р.