Міністерство освіти та науки України Національний університет „Львівська політехніка” Кафедра ЕОМ Звіт з лабораторної роботи № 2 з курсу: « Проектування комп’ютерних засобів захисту» на тему: “ Формування цифрового підпису згідно стандарту DSS” Львів 2007 Мета роботи: реалізувати демонстраційну програму формування цифрового підпису вхідного повідомлення згідно стандарту DSS. Теоретичні відомості Відправник і отримувач електронного документа використовують при обчисленні великі цілі числа:  EMBED Equation.3 
 і  EMBED Equation.3 
 – прості числа,  EMBED Equation.3 
 біт кожне  EMBED Equation.3 
;  EMBED Equation.3 
 – просте число довжиною 160 розрядів (дільник числа EMBED Equation.3 
). Числа  EMBED Equation.3 
,  EMBED Equation.3 
,  EMBED Equation.3 
 є відкритими і можуть бути спільними для всіх користувачів мережі. Відправник вибирає випадкове ціле число  EMBED Equation.3 
( EMBED Equation.3 
). Число  EMBED Equation.3 
 – секретний ключ відправника для формування електронного цифрового підпису. Наступним кроком відправник обчислює значення  EMBED Equation.3 
. Число  EMBED Equation.3 
 – відкритий ключ для перевірки підпису відправника. Це число передається всім отримувачам документів. Для того, щоб підписати документ  EMBED Equation.3 
, відправник хешує його в ціле хеш-значення  EMBED Equation.3 
:  EMBED Equation.3 
, після цього відправник генерує випадкове ціле число  EMBED Equation.3 
 при умові, що  EMBED Equation.3 
, і обчислює число  EMBED Equation.3 
:  EMBED Equation.3 
. Обчисливши число  EMBED Equation.3 
 відправник обчислює за допомогою секретного ключа  EMBED Equation.3 
 ціле число  EMBED Equation.3 
:  EMBED Equation.3 
. Пара чисел  EMBED Equation.3 
 і  EMBED Equation.3 
 утворюють цифровий підпис  EMBED Equation.3 
 під документом  EMBED Equation.3 
. Таким чином, підписане повідомлення складається з трьох чисел  EMBED Equation.3 
. Отримувач підписаного повідомлення  EMBED Equation.3 
 перевіряє виконання умов  EMBED Equation.3 
,  EMBED Equation.3 
 і відкидає підпис, якщо хоча б одна з умов не виконується. Потім отримувач обчислює значення  EMBED Equation.3 
, хеш-значення  EMBED Equation.3 
 і числа  EMBED Equation.3 
 Після цього отримувач за допомогою відкритого ключа  EMBED Equation.3 
 обчислює значення  EMBED Equation.3 
 і перевіряє виконання умови  EMBED Equation.3 
. Якщо умова  EMBED Equation.3 
 виконується, тоді підпис  EMBED Equation.3 
 під документом  EMBED Equation.3 
 визнається отримувачем як справжній. Можна строго математично довести , що рівність  EMBED Equation.3 
 буде виконуватися тоді і тільки тоді, коли підпис  EMBED Equation.3 
 під документом  EMBED Equation.3 
 отриманий за допомогою того секретного ключа  EMBED Equation.3 
, з якого був обчислений відкритий ключ  EMBED Equation.3 
. Таким чином, можна твердо переконатися , що відправник повідомлення володіє даним секретним ключом  EMBED Equation.3 
 (не розкриваючи при цьому значення ключа  EMBED Equation.3 
) і що відправник підписав даний документ  EMBED Equation.3 
. Лістинг програми