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