Верификация свойств безопасности протокола SSL

Борхаленко, В.А.

Please use this identifier to cite or link to this item: http://essuir.sumdu.edu.ua/handle/123456789/40780

Or use following links to share this resource in social networks: Recommend this item

Title	Верификация свойств безопасности протокола SSL
Authors	Борхаленко, В.А.
ORCID
Keywords	безпека протоколів безопасность протоколов
Type	Conference Papers
Date of Issue	2015
URI	http://essuir.sumdu.edu.ua/handle/123456789/40780
Publisher	Сумский государственный университет
License
Citation	Борхаленко, В.А. Верификация свойств безопасности протокола SSL [Текст] / В.А. Борхаленко // Інформатика, математика, автоматика : матеріали та програма науково-технічної конференції, м. Суми, 20-25 квітня 2015 р. / Відп. за вип. С.І. Проценко. — Суми : СумДУ, 2015. — С. 96.
Abstract	Наиболее полная трактовка свойств безопасности протоколов опи- сана в документах международной организации Internet Engineering Task Force [1]. Некоторые из данных свойств (G1, G7, G12, G15, G16, G20) были формализованы с помощью логики LTL [2] и верифициро- ваны на формальной модели протокола SSL, созданной с помощью средства SPIN, функционирующей в среде с нарушителем, описывае- мой расширенной моделью Долева-Яо [2].
Appears in Collections:	Наукові видання (ЕлІТ)