Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени
Date Issued
2014
Author(s)
Борхаленко, В. А.
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.
automata based on LTL-formulas.
File(s)![Thumbnail Image]()
Loading...
Name
295-301.pdf
Size
532.11 KB
Format
Adobe PDF
Checksum
(MD5):2e91ff38eddddc81b364b1d3a68e091c