6 ПРОЦЕДУРА ПРОВЕРКИ ПОДПИСИ
Получатель должен проверить подлинность сообщения и подлинность ЭЦП, осуществляя ряд операций (вычислений).
Это возможно при наличии у получателя открытого ключа отправителя, пославшего сообщение.
Процедура проверки включает в себя следующие этапы:
1 Проверить условия:
0 < s < q и 0 < r' < q.
Если хотя бы одно из этих условий не выполнено, то подпись считается недействительной.
2 Вычислить h(M) - значение хэш-функции h от полученного сообщения M.
Если (M)(mod q) = 0, присвоить h(M) значение 01.
3 Вычислить значение
v = ((M)) (mod q).
4 Вычислить значения:
z= sv (mod q) и
z = (q - r') v (mod q).
5 Вычислить значение
u = (ay(mod p))(mod q).
6 Проверить условие: r' = u.
При совпадении значений r' и u получатель принимает решение о том, что полученное сообщение подписано данным отправителем и в процессе передачи не нарушена целостность сообщения, т. е. M= M. В противном случае подпись считается недействительной.