Search academic texts

Information × Registration Number 2115U002125, Article popup.category Thesis Title popup.author popup.publication 01-01-2015 popup.source_user Сумський державний університет popup.source http://essuir.sumdu.edu.ua/handle/123456789/40780 popup.publisher Сумский государственный университет Description Наиболее полная трактовка свойств безопасности протоколов опи- сана в документах международной организации Internet Engineering Task Force [1]. Некоторые из данных свойств (G1, G7, G12, G15, G16, G20) были формализованы с помощью логики LTL [2] и верифициро- ваны на формальной модели протокола SSL, созданной с помощью средства SPIN, функционирующей в среде с нарушителем, описывае- мой расширенной моделью Долева-Яо [2]. popup.nrat_date 2025-05-12 Close