Действующий
Для двух двоичных векторов
и
, соответствующих целым числам
и
, определим операцию конкатенации (объединения) следующим образом. Пусть
и
, соответствующих целым числам
и
, определим операцию конкатенации (объединения) следующим образом. Пусть
С другой стороны, приведенные формулы определяют способ разбиения двоичного вектора
длиной 512 бит на два двоичных вектора длиной 256 бит, конкатенацией которых он является.
длиной 512 бит на два двоичных вектора длиной 256 бит, конкатенацией которых он является.
В данном разделе определены процессы формирования и проверки цифровой подписи под сообщением пользователя.
Для реализации данных процессов необходимо, чтобы всем пользователям были известны параметры схемы цифровой подписи, удовлетворяющие требованиям 5.2.
Кроме того, каждый пользователь должен иметь ключ подписи d и ключ проверки подписи
, которые также должны удовлетворять требованиям 5.2.
, которые также должны удовлетворять требованиям 5.2.
Для получения цифровой подписи под сообщением
необходимо выполнить следующие действия (шаги) по алгоритму I.
необходимо выполнить следующие действия (шаги) по алгоритму I.
Шаг 6 - вычислить двоичные векторы
и
, соответствующие r и s, и определить цифровую подпись
как конкатенацию двух двоичных векторов.
и
, соответствующие r и s, и определить цифровую подпись
как конкатенацию двух двоичных векторов.
Исходными данными этого процесса являются ключ подписи d и подписываемое сообщение М, а выходным результатом - цифровая подпись
.
.
Для проверки цифровой подписи
под полученным сообщением М необходимо выполнить следующие действия (шаги) по алгоритму II.
под полученным сообщением М необходимо выполнить следующие действия (шаги) по алгоритму II.
Шаг 1 - по полученной подписи
вычислить целые числа r и s. Если выполнены неравенства
, то перейти к следующему шагу. В противном случае подпись неверна.
вычислить целые числа r и s. Если выполнены неравенства
, то перейти к следующему шагу. В противном случае подпись неверна.
Шаг 7 - если выполнено равенство R = r, то подпись принимается, в противном случае, подпись неверна.
, (12)
,
(13)
и
.
. (14)
, двоичным представлением которого является вектор
, и определить
. (15)
. (16)
, (17)
- х-координата точки С. Если r=0, то вернуться к шагу 3.
. (18)
. (19)
, двоичным представлением которого является вектор
, и определить
. (20)
. (21)
. (22)
и определить
, (23)
- х-координата точки С.
и ключ проверки Q, а выходным результатом - свидетельство о достоверности или ошибочности данной подписи.