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:
Tweet
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 | Copyright not evaluated |
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: |
Наукові видання (ЕлІТ) |
Views

1

190480

4

3574

13998

1

1

596

2

1

95304

48844

733623

8
Downloads

1

27996

2

1

1

14

1

1

190480

1

733624

9
Files
File | Size | Format | Downloads |
---|---|---|---|
borhalenko.pdf | 336.8 kB | Adobe PDF | 952131 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.