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