«Розвиток інформаційно-ресурсного забезпечення освіти і науки в гірничо-металургійній галузі і транспорті 2014».

УДК 001.57:004.942

ФОРМАЛИЗАЦИЯ СВОЙСТВ БЕЗОПАСНОСТИ КРИПТОГРАФИЧЕСКИХ ПРОТОКОЛОВ С ПОМОЩЬЮ ЛОГИКИ ЛИНЕЙНОГО ВРЕМЕНИ

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

аспирант кафедры экономики промышленности и организации предприятия, Федеральное государственное бюджетное образовательное учреждение Национальный исследовательский университет «Московский энергетический институт», г. Москва, Российская Федерация, e-mail: vadikhide@yandex.ru

Аннотация. Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL .

Ключевые слова: математическое моделирование, криптографические протоколы, защита информации, линейная темпоральная логика, формализация свойств безопасности.

See in PDF format