DSpace JSPUI
DSpace зберігає і дозволяє легкий і відкритий доступ до всіх видів цифрового контенту, включаючи текст, зображення, анімовані зображення, MPEG і набори даних
Дізнатися більше
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://ir.nmu.org.ua/handle/123456789/150306| Назва: | Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени |
| Інші назви: | Formalization of the security properties of cryptographic protocols using linear temporal logic |
| Автори: | Борхаленко, В. А. |
| Ключові слова: | математическое моделирование;криптографические протоколы;защита информации;линейная темпоральная логика;формализация свойств безопасности;mathematical modelling;cryptographic protocols;information security;linear temporal logic;security properties formalization |
| Дата публікації: | 2014 |
| Бібліографічний опис: | Борхаленко В. А. Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени // Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014: сборник научных трудов международной конференции, 27-28 сентября 2014г. - Днепропетровск, 2014. – С. 295-301. |
| Короткий огляд (реферат): | Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени 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. |
| URI (Уніфікований ідентифікатор ресурсу): | http://ir.nmu.org.ua/handle/123456789/150306 |
| Розташовується у зібраннях: | «Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014, г. Днепропетровск, 27-28 сентября : сб. науч. тр. междунар. конф. |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 295-301.pdf | 532,11 kB | Adobe PDF |  Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.