Действия абонента-получателя (абонента «В») по аутентификации принятого электронного сообщения «М» (проверка ЭЦП)

11. Получив ЭЦП переданного сообщения «М» и само сообщение, абонент-получатель (абонент «В») на первом этапе аутентификации проверяет выполнение следующих условий 0 < r < q и 0 < S_i < q и в случае не соблюдения указанных неравенств отвергает полученное сообщение как модифицированное. Для рассматриваемого примера 0 < 436 < 443 и 0 < S_i < 443 первое условие корректно.

12. После проверки первого условия абонент-получатель вычисляет параметр W_i = mod q (для рассматриваемого примера W_i = mod 443). Множество элементов W_i определяется через параметры элементов криптограммы функции хеширования. Так например, для вычисления значения W₁ выполняется следующая операция:

W₁= mod q = mod 443 = 336^-1 mod 443 = 336⁴⁴¹ mod 443 = 207 mod 443 → 207. Последующие 31 элемент определяются аналогичным образом. В результате выполненных вычислений формируется множество элементов W_i.

W_i → {207 10 207 10 409 381 436 436 86 60 10 10 409 322 436 381 207 60 60 207 409 409 409 409 424 207 10 10 322 409 436 381}.

13. После вычисления значений W_i по принятым значениям элементов криптограммы функции хеширования абонент-получатель вычисляет значения элементов функции хеширования принятого сообщения «М».

h(M)^В → { 52 48 52 48 50 42 46 46 40 56 48 48 50 54 46 42 52 56 56 52 50 50 50 50 44 52 48 48 54 50 46 42}.

14. На следующем этапе алгоритмизации производится вычисление следующих параметров: U₁ⁱ = (m_i * W_i) mod q и U₂ⁱ = (r * W_i) mod q. Для рассматриваемого примера:

U₁ⁱ → {132 37 132 37 72 54 121 121 339 259 37 37 72 111 121 54 132 259 259 132 72 72 72 72 50 132 37 37 111 72 121 54};

U₂ⁱ → {323 373 323 373 238 434 49 49 284 23 373 373 238 404 49 434 323 23 23 323 238 238 238 238 133 323 373 373 404 238 49 434}.

15. После вычисления параметров U₁ⁱ и U₂ⁱ абонент-получатель вычисляет множество значений V_i = (( * ) mod P) mod q. Для приведенного примера V_i = (( * ) mod 887) mod 443.

V_i → {436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436 436}.

16. Сравниваются элементы вычисленного множества V_i и значение «r», принятое в составе ЭЦП, если все значения элементов V_i совпадают со значением параметра «r», принятого в составе ЭЦП, то сообщение «М» признается достоверным, в противном случае сообщение отвергается как модифицированное.

Поиск по сайту: