Publication:
Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени

Thumbnail Image

Files

295-301.pdf (532.11 KB)

Date

2014

Authors

Борхаленко, В. А.

Journal Title

Journal ISSN

Volume Title

Publisher

DOI

Research Projects

Organizational Units

Journal Issue

Abstract

Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени 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.

Description

Keywords

математическое моделирование , криптографические протоколы , защита информации , линейная темпоральная логика , формализация свойств безопасности , mathematical modelling , cryptographic protocols , information security , linear temporal logic , security properties formalization

Citation

Борхаленко В. А. Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени // Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014: сборник научных трудов международной конференции, 27-28 сентября 2014г. - Днепропетровск, 2014. – С. 295-301.

URI

http://ir.nmu.org.ua/handle/123456789/150306

Collections

«Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014, г. Днепропетровск, 27-28 сентября : сб. науч. тр. междунар. конф.

Endorsement

Review

Supplemented By

Referenced By