Alice and Bob
Алиса и Боб могут убедиться в том, что полученные ими сообщения валидные, с помощью проверки меток времени formula_11.