Показати скорочений опис матеріалу
Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени
| dc.contributor.author | Борхаленко, В. А. | |
| dc.date.accessioned | 2017-09-29T07:41:59Z | |
| dc.date.available | 2017-09-29T07:41:59Z | |
| dc.date.issued | 2014 | |
| dc.identifier.citation | Борхаленко В. А. Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени // Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014: сборник научных трудов международной конференции, 27-28 сентября 2014г. - Днепропетровск, 2014. – С. 295-301. | ru_RU |
| dc.identifier.uri | http://ir.nmu.org.ua/handle/123456789/150306 | |
| dc.description.abstract | Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL. | ru_RU |
| dc.description.abstract | 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_RU |
| dc.language.iso | ru | ru_RU |
| dc.subject | математическое моделирование | ru_RU |
| dc.subject | криптографические протоколы | ru_RU |
| dc.subject | защита информации | ru_RU |
| dc.subject | линейная темпоральная логика | ru_RU |
| dc.subject | формализация свойств безопасности | ru_RU |
| dc.subject | mathematical modelling | ru_RU |
| dc.subject | cryptographic protocols | ru_RU |
| dc.subject | information security | ru_RU |
| dc.subject | linear temporal logic | ru_RU |
| dc.subject | security properties formalization | ru_RU |
| dc.title | Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени | ru_RU |
| dc.title.alternative | Formalization of the security properties of cryptographic protocols using linear temporal logic | ru_RU |
| dc.type | Article | ru_RU |
| dc.identifier.udk | 001.57:004.942 | ru_RU |
