Целостность информации

secret prefix method : К последовательности блоков данных � =x₁x₂x₃..x_n в начало приписывается секретный ключ k: k||x. Для данной последовательности данных с помощью итерационной хеш-функции вычисляется MDC, например, такой, что H₀=IV (от англ. initial value), H_i=f(H_i-1,x_i) h(x) = H_n. Таким образом, MAC � =h(k||x). Минусом такого подхода является то, что третья сторона может дописать в конец последовательности блоков дополнительные данные y: k||x||y. Новый MAC может быть вычислен без знания ключа k: � ₁ = f(� ,y).

secret suffix method : Секретный ключ приписывается в конец последовательности данных: x||k. В этом случае MAC � =h(x||k). В этом случае может быть применена атака методом дней рождений. При длине дайджеста в n бит. Третьей стороне понадобится порядка 2^n/2 операций, чтобы для сообщения x найти сообщение x’ такое, что h(x)= h(x’). При этом знание ключа k будет не обязательно. Узнав значение MAC �  для сообщения x, третья сторона сможет сгенерировать корректную пару (x’,� ).

envelope method with padding : Для ключа k и MDC h вычисляется MAC от сообщения h_k(x)=(k||p||x||k), где p — строка, дополняющая ключ k до длины блока данных, для того, чтобы гарантировать, что будет произведено как минимум 2 итерации. Например, для MD5 k — 128 бит, а p — 384 бита.

HMAC : Для ключа k и MDC h вычисляется MAC от сообщения h_k(x)=(k||p₁||h(k||p₂||x)), где p₁,p₂ — различные строки, дополняющие k до длины блока данных. Такая конструкция довольно эффективна, несмотря на двойное использование h.

Схемы использования[править | править код]

Фактически, в общем виде, процесс передачи данных и их проверки на целостность выглядит следующим образом: пользователь A добавляет к своему сообщению дайджест. Эта пара будет передана второй стороне B. Там выделяется сообщение, вычисляется для него дайджест и дайджесты сравниваются. В случае совпадения значений сообщение будет считаться достоверным. Несовпадение будет говорить о том, что данные были изменены.