Пошук
Зараз показуються 1-1 з 1
Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени
(2014)
Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.