Знайдено документів: 1
Інформація × Реєстраційний номер 2115U002125, Матеріали видань та локальних репозитаріїв Категорія Thesis Назва роботи Верификация свойств безопасности протокола SSL Автор Дата публікації 01-01-2015 Постачальник інформації Сумський державний університет Першоджерело http://essuir.sumdu.edu.ua/handle/123456789/40780 Видання Сумский государственный университет Опис Наиболее полная трактовка свойств безопасности протоколов опи- сана в документах международной организации Internet Engineering Task Force [1]. Некоторые из данных свойств (G1, G7, G12, G15, G16, G20) были формализованы с помощью логики LTL [2] и верифициро- ваны на формальной модели протокола SSL, созданной с помощью средства SPIN, функционирующей в среде с нарушителем, описывае- мой расширенной моделью Долева-Яо [2]. Додано в НРАТ 2025-05-12 Закрити
Матеріали
Thesis
Верификация свойств безопасности протокола SSL
Верификация свойств безопасности протокола SSL : публікація 2015-01-01; Сумський державний університет, 2115U002125
Знайдено документів: 1

Оновлено: 2026-03-14


Роздрукувати цю сторінку