Принцип Хортона
Аутентифицируй то, что имеется в виду, а не только то, что сказано: MAC должен покрывать всю интерпретацию сообщения, а не просто его байты.
Нильс Фергюсон и Брюс Шнайер сформулировали его в книге Practical Cryptography в 2003 году и назвали в честь слона Хортона доктора Сьюза, который имел в виду то, что говорил, и говорил то, что имел в виду. Суть в том, что корректный тег над не теми данными бесполезен: если выбор алгоритма, поля длины, версия протокола или отправитель остались за пределами аутентифицируемого, атакующий может изменить интерпретацию, не тронув ни одного байта под MAC.
Многие атаки — это нарушения принципа в маскировке: даунгрейды, при которых набор шифров никто не аутентифицировал, или склеенные поля, которые можно разрезать двумя способами. Лекарство скучное и действенное: однозначное кодирование и весь контекст внутри MAC.