Перегляд «Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014, г. Днепропетровск, 27-28 сентября : сб. науч. тр. междунар. конф. по Автору
JavaScript is disabled for your browser. Some features of this site may not work without it.
Перегляд «Развитие информационно-ресурсного обеспечения образования и науки в горно-металлургической отрасли и на транспорте 2014, г. Днепропетровск, 27-28 сентября : сб. науч. тр. междунар. конф. по Автору "Борхаленко, В. А."
Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.