Перегляд Конференції по темі "information security"
Зараз показуються 1-2 з 2
-
Современные методы защиты по в компьютерах и сетях ЭВМ от несанкционированного распространения и копирования
(НГУ, 2018)В статье рассматриваются вопросы, связанные с существующими методами защиты ПО в компьютерах и сетях ЭВМ от несанкционированного копирования и распространения. -
Формализация свойств безопасности криптографических протоколов с помощью логики линейного времени
(2014)Представлены основные свойства безопасности криптографических протоколов с помощью аппарата логики линейного времени LTL, а также приведен пример автомата Бюхи, построенного на основе формулы LTL.