Вид документа : Статья из журнала Шифр издания : 73/Р 17 Автор(ы) : Десницкий В. А., Десницкий В. А., Котенко И. В., Резник С. А. Заглавие : Разработка иверификация протокола обмена сообщениями для защиты программ на основе механизма "удаленного доверия" Серия: Безопасность компьютерных систем Место публикации : Защита информации. Инсайд. - 2008. - N 4. - С.59-63: Ил. Примечания : Окончание следует УДК : 519.256 ББК : 73 Предметные рубрики: Информатика Информационно-поисковые системы. Банки данных Ключевые слова (''Своб.индексиров.''): информационная безопасность--удаленное доверие--информационные сети--информационные системы--банки данныз--информационные технологии--программное обеспечение--мобильные модули--защита программ--entruting-протокол--взлом программ--сервер--коммуникационные каналы Аннотация: Настоящая статья посвящена разработке entrusting-протокола и его анализа при помощи формальных средств верификации. Доп.точки доступа: Десницкий, В. А.; Котенко, И. В.; Резник, С. А.