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