Протокольное обеспечение доказательной регистрации событий в системах защиты информации

• Автор: Смирнов, Павел Владимирович
• Шифр специальности: 05.13.19
• Научная степень: Кандидатская
• Год защиты: 2007
• Место защиты: Москва
• Количество страниц: 211 с. : ил.

Введение.

1. Анализ применимости существующих протоколов

равноправного обмена для доказательной регистрации событий

1.1. Классификация протоколов равноправного обмена

1.2. Протоколы подписания контрактов

1.2.1. Связь с другими протоколами

1.2.2. Подписание контрактов с активным ЦЦ

1.2.3. Подписание контрактов с помощью постепенного обмена секретами.

1.2.4. Подписание контрактов путм постепенного увеличения вероятности.

1.2.5. Оптимистичные протоколы подписания контрактов

1.3. Протоколы заказной электронной почты.

1.3.1. Заказная электронная почта с активным ЦД.
1.3.2. Построение протоколов заказной электронной почты с помощью постепенного обмена секретами.
1.3.3. Оптимистичные протоколы заказной электронной почты.
1.4. Протоколы совершения покупки.
1.4.1. Независимые от платжной системы протоколы
совершения покупки и платежа под расписку
1.4.2. Протоколы совершения покупки, реализованные в
платжных системах.
1.4.3. Протоколы покупки маленькими частями.
1.5. Протоколы равноправного обмена секретами.
1.6. Протоколы обобщнного равноправного обмена.
1.7. Постановка задачи исследования.
1.8. Выводы.
2. Модель и методики построения протоколов передачи бизнесдокументов
2.1. Моделирование протокола
2.2. Бизнесдокумент
2.3. Неотказуемый равноправный обмен
2.4. Свойства протоколов передачи бизнесдокументов.
2.4.1. Протокол передачи бизнесдокумента.
2.4.2. Генерируемость.
2.4.3. Доказуемость отправки
2.5. Преобразование произвольных протоколов передачи для
получения необходимых свойств
2.5.1. Методика преобразования протокола передачи для
получения свойства генерируемости.
2.5.2. Методика преобразования протокола передачи для
получения свойства доказуемости отправки
2.6. Выводы
3. Синтез обобщнных протоколов неотказуемого равноправного
обмена.
3.1. Обмен генерируемого документа на документ,
обеспечивающий доказуемость отправки.
3.2. Обмен двух генерируемых документов без дополнительной
сложности
3.3. Обмен двух генерируемых документов без необходимости
передачи владения бизнесдокументом ЦД
3.4. Обмен зависимых бизнесдокументов
3.5. Выводы.
4. Реализация доказательной регистрации событий на основе неотказуемого равноправного обмена
4.1. Задача доказательной регистрации событий
4.2. Разработка протокола доказательной регистрации событий.
4.3. Инструментальные средства реализации доказательной
регистрации вызова удалнных процедур.
4.3.1. Платформа . и вебсервисы.
4.3.2. Пакет
4.4. Представление сообщений протокола
4.4.1. Описания бизнесдокументов.
4.4.2. Свидетельство о генерируемости бизнесдокумента
4.4.3. Свидетельство о готовности к обмену
4.4.4. Свидетельство об обмене
4.4.5. Свидетельство о попытке обмана.
4.5. Архитектура системы доказательной регистрации событий
4.5.1. Входной фильтр посредника клиента со стороны клиента.
4.5.2. Выходной фильтр посредника клиента со стороны
клиента
4.5.3. Выходной фильтр посредника клиента со стороны сервера
4.5.4. Входной фильтр посредника клиента со стороны сервера.
4.5.5. Входной фильтр посредника сервера со стороны клиента.
4.5.6. Выходной фильтр посредника сервера со стороны клиента
4.5.7. Выходной фильтр посредника клиента со стороны ЦД
4.5.8. Входной фильтр посредника клиента со стороны ЦЦ.
4.5.9. Выходной фильтр посредника сервера со стороны ЦД
4.5 Входной фильтр посредника сервера со стороны ЦД
4.5 Входной фильтр ЦД
4.5 Выходной фильтр ЦД.
4.6. Оценка затрат на выполнение протокола
4.6.1. Оценка добавочного объма передаваемых данных.
4.6.2. Оценка дополнительного времени
4.7. Выводы.
5. Применение протоколов доказательной регистрации событий в
системах защиты информации.
5.1. Применение протокола доказательной регистрации событий
в ПАКМ КриптоПро .
5.2. Применение протокола доказательной регистрации событий
в подсистеме Электронный нотариат Федерального информационного центра.
5.3. Выводы.
Заключение.
Список использованных источников


Невозможность равноправного обмена без ЦД и постепенного обмена показана в 4 на примере частного случая подписи контрактов. Опубликованы также и другие работы, посвященные исследованию и доказательству необходимых условий равноправного обмена 5, 6. Рис. Достигается лишь вероятностная равноправность, т. Количество раундов протокола линейно зависит от степени равноправности, т. Некоторые протоколы не гарантируют определнный ответ в ограниченное время. Применение этих протоколов для подписания контракта приводит к конечному результату, что контракт заключн с вероятностью, например, . Следовательно, недостатки протоколов постепенного обмена обуславливают необходимость использования протоколов с ЦД. Прежде чем сравнивать свойства протоколов с активным ЦЦ и оптимистичных протоколов, необходимо отметить, что существует тривиальный протокол равноправного обмена с активным ЦЦ. В этом протоколе оба участника, желающие обменять свои бизнесдокументы, передают их ЦД, котыйая, предварительно проверив соответствие бизнесдокументов, пересылает их адресатам. Нагрузка на ЦЦ намного больше, поскольку он участвует в каждом обмене. Таким образом, 1Щ является узким местом протокола, и его доступность определяет возможность выполнения протокола. В большинстве протоколов участники должны полностью доверять ЦЦ, так как гарантии корректного выполнения протокола целиком лежат на
В большинстве протоколов ЦЦ получает полную информацию о том, кто из участников с кем обменивался и чем. Таким образом, оптимистичные протоколы равноправного обмена являются лучшими в большинстве случаев с практической точки зрения, так как при выполнении протокола честными участниками и отсутствии ошибок при передаче сообщений такие протоколы достигают лучшей производительности, не требуя привлечения ЦЦ. Протоколы подписания контрактов договоров служат для создания неотказуемого обязательства двух или более участников протокола по отношению к определнному тексту контракта таким образом, что либо каждый участник получает эти обязательства от всех других участников, либо никто не получает ни одного обязательства. Термин подписание контрактов был введн Блюмом в 9. Протокол подписания контрактов является обобщением протокола равноправного обмена двумя подписями под текстом контракта. Вообще говоря, контракт не обязательно имеет вид документа с двумя подписями. Очевидно, подписание контрактов всегда может быть реализовано путм равноправного обмена подписями, но не все предложенные протоколы действуют по этой схеме. Они обеспечивают лишь неотказуемое соглашение участников с договором. В любом случае, такие соглашения можно считать бизнесдоку ментами, обмениваемыми с помощью протокола обобщнного равноправного обмена. Протоколы подписания контрактов достигают большего, нежели протоколы проведения распределнных транзакций. В протоколах проведения транзакций 7 обычно предполагается, что участники не отступают от протокола, и что соглашение не требуется доказывать. Заметим, что некоторые расширения протоколов проведения транзакций учитывают возможность более сложных отказов 8. Протоколы подписания контрактов предназначены для достижения неотказуемого соглашения, предполагая, что участники могут нарушать протокол. Протоколы принятия согласованных решений 9, как и протоколы подписания контрактов, работают в византийской модели отказов, но они не приводят к неотказуемому соглашению. Однако недавние предложения 0, 1 обеспечивают невозможность отказа и могут быть использованы для построения многосторонних протоколов подписания контрактов. Один из первых протоколов подписания контрактов с активным ЦД был предложен Рабином i в . В этой работе для уменьшения участия ЦЦ в протоколе по сравнению с тривиальным предлагается использовать так называемые маяки , рассылающие всем участникам подписанные случайные целые числа, которые используются следующим образом. После подписания первоначального соглашения оба участника независимо выбирают случайное целое число, подписывают его вместе с номером раунда протокола и отсылают другому участнику.