Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://ir.nmu.org.ua/handle/123456789/150306
Повний запис метаданих
Поле DC | Значення | Мова |
---|---|---|
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 |
Розташовується у зібраннях: | «Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014, г. Днепропетровск, 27-28 сентября : сб. науч. тр. междунар. конф. |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
295-301.pdf | 532,11 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.