УДК 001.57:004.942
ФОРМАЛИЗАЦИЯ СВОЙСТВ БЕЗОПАСНОСТИ КРИПТОГРАФИЧЕСКИХ ПРОТОКОЛОВ С ПОМОЩЬЮ ЛОГИКИ ЛИНЕЙНОГО ВРЕМЕНИ
В.А. Борхаленко
аспирант кафедры экономики промышленности и организации предприятия, Федеральное государственное бюджетное образовательное учреждение Национальный исследовательский университет «Московский энергетический институт», г. Москва, Российская Федерация, e-mail: vadikhide@yandex.ru
Аннотация. Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL .
Ключевые слова: математическое моделирование, криптографические протоколы, защита информации, линейная темпоральная логика, формализация свойств безопасности.
 | See in PDF format |
