1. Алиса -> Трент
(Алиса, Боб)
2. Трент генерирует время B, срок действия DT
Трент -> Алиса
C{a}(B, DT, Kab, Боб)
С{b}(B, DT, Kab, Алиса)
3. Алиса -> Боб
C{ab}(Алиса, B)
C{b} (B, DT, Kab, Алиса)
4. Боб -> Алиса
С{ab}(B+1)