1. Institutional repository National TU Dnipro Polytechnic
  2. Конференції
  3. Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте
  4. «Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014, г. Днепропетровск, 27-28 сентября : сб. науч. тр. междунар. конф.
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ir.nmu.org.ua/handle/123456789/150306
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorБорхаленко, В. А.-
dc.contributor.authorBorkhalenko, Vadym-
dc.date.accessioned2017-09-29T07:41:59Z-
dc.date.available2017-09-29T07:41:59Z-
dc.date.issued2014-
dc.identifier.citationБорхаленко В. А. Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени // Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014: сборник научных трудов международной конференции, 27-28 сентября 2014г. - Днепропетровск, 2014. – С. 295-301.ru_RU
dc.identifier.urihttp://ir.nmu.org.ua/handle/123456789/150306-
dc.description.abstractПредставлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.ru_RU
dc.description.abstractConducted 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.isoruru_RU
dc.subjectматематическое моделированиеru_RU
dc.subjectкриптографические протоколыru_RU
dc.subjectзащита информацииru_RU
dc.subjectлинейная темпоральная логикаru_RU
dc.subjectформализация свойств безопасностиru_RU
dc.subjectmathematical modellingru_RU
dc.subjectcryptographic protocolsru_RU
dc.subjectinformation securityru_RU
dc.subjectlinear temporal logicru_RU
dc.subjectsecurity properties formalizationru_RU
dc.titleФормализация свойств безопасности криптографических протоколов с помощью логики линейного времениru_RU
dc.title.alternativeFormalization of the security properties of cryptographic protocols using linear temporal logicru_RU
dc.typeArticleru_RU
dc.identifier.udk001.57:004.942ru_RU
Располагается в коллекциях:«Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014, г. Днепропетровск, 27-28 сентября : сб. науч. тр. междунар. конф.

Файлы этого ресурса:
Файл Описание РазмерФормат 
295-301.pdf532,11 kBAdobe PDFЭскиз
Просмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.