Борхаленко, В. А.В. А.Борхаленко2017-09-292017-09-292014Борхаленко В. А. Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени // Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014: сборник научных трудов международной конференции, 27-28 сентября 2014г. - Днепропетровск, 2014. – С. 295-301.http://ir.nmu.org.ua/handle/123456789/150306Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.Conducted theoretical research of applying instruments of linear temporal logic to formalize the security properties of cryptographic protocols and developing the Buchi automata based on LTL-formulas.ruматематическое моделированиекриптографические протоколызащита информациилинейная темпоральная логикаформализация свойств безопасностиmathematical modellingcryptographic protocolsinformation securitylinear temporal logicsecurity properties formalizationArticle001.57:004.942