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)