| Цифровые
(электронные) подписи
Наверное, наиболее ярким проявлением
всех преимуществ шифрования с открытым ключом является технология цифровых или
электронных подписей. Она основана на математическом преобразовании, комбинирующем
данные с секретным ключом таким образом, что:
- только
владелец секретного ключа может создать цифровую подпись;
- любой
пользователь, обладающий соответствующим открытым ключом, может проверить истинность
цифровой подписи;
- любая модификация подписанных данных
(даже изменение одного бита) делает неверной цифровую подпись.
Цифровые подписи гарантируют целостность (integrity) и подлинность (nonrepudiation)
данных. Когда данные распространяются открытым текстом (без шифрования), получатели
должны иметь возможность проверки, что данные в сообщении не были изменены.
Добавление подписи не изменяет содержания данных: в этом случае генерируется цифровая
подпись, которая может быть связана с данными или передаваться отдельно.
Для выполнения этой операции клиентская программа создает дайджест, снимок данных,
используя метод хэширования (например, MDS). Программа использует ваш личный ключ
для шифрования дайджеста и подписывает данные или сообщение с помощью вашего сертификата,
добавляя ваш открытый ключ. Соответствующая программа адресата сообщения использует
открытый ключ для расшифровки дайджеста, затем использует тот же алгоритм хэширования
для создания другого дайджеста данных. Данная программа затем сравнивает два дайджеста
сообщений. Если они идентичны, то подтверждаются целостность и подлинность данных
сообщения. Существует множество других доступов, некоторые
из них будут определены далее. Множество возможных доступов в системе будем обозначать
R.
Будем обозначать множество объектов в системе обработки данных через О,
а множество субъектов в этой системе S. Ясно, что каждый субъект является объектом
относительно некоторого языка (который может в активной фазе сам менять свое состояние).
Поэтому S O. Иногда, чтобы не было различных обозначений, связанных с одним преобразованием,
описание преобразования, хранящееся в памяти, тоже называют субъектом, но не активизированным.
Тогда активизация такого субъекта означает пару (домен, процесс).
В различных
ситуациях мы будем уточнять описание вычислительной системы. Однако мы всегда
будем подразумевать нечто общее во всех системах. Это общее состоит в том, что
состояние системы характеризуется некоторым множеством объектов, которое будем
предполагать конечным.
|