Ну вот такие дела. И все модели, которые старательно игнорируют "бытовое" восприятие реальности, очень рискуют тем, что работа формально верифицированного криптографического алгоритма приводит к появлению пароля на мониторе, подключенном к антенне, в соседней комнате :)
абсолютно все модели игнорируют какой-то кусок реальности, в том числе и бытовое восприятие, это же не повод их не использовать? и таймер по идее никуда кроме крипты не протекает