Электронный каталог

Статья

Резник, С.А.
Методы и средства верификации для комбинированного анализа протоколов безопасности / Резник С.А., Котенко И.В. // Защита информации. Инсайд. – 2009. – 2009 №3. – С.56-72. - 91237. – На рус. яз.

Анализ существующих подходов к верификации протоколов безопасности. Характеристика как сильных, так и слабых сторон различных методов и средств верификации. Обоснование необходимости использования комбинированного подхода, основанного на объединении сильных сторон различных методов и средств верификации.


Ключевые слова = АЛГОРИТМ
Ключевые слова = АНАЛИЗ КОМПЛЕКСНЫЙ
Ключевые слова = ВЕРИФИКАЦИЯ
Ключевые слова = ВЗАИМОДЕЙСТВИЕ
Ключевые слова = ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
Ключевые слова = ИНФОРМАЦИОННАЯ СИСТЕМА
Ключевые слова = ИНФОРМАЦИОННЫЙ ОБМЕН
Ключевые слова = ИНФОРМАЦИЯ
Ключевые слова = ИССЛЕДОВАНИЯ
Ключевые слова = КОМПОНЕНТ
Ключевые слова = КОНФИДЕНЦИАЛЬНОСТЬ
Ключевые слова = КРИПТОГРАФИЯ
Ключевые слова = ЛОГИКА
Ключевые слова = МЕТОДИКА
Ключевые слова = МОДЕЛИРОВАНИЕ
Ключевые слова = МОДЕЛЬ
Ключевые слова = ОБЕСПЕЧЕНИЕ ЗАЩИТЫ И ОХРАНЫ
Ключевые слова = ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
Ключевые слова = ПРОТОКОЛ
Ключевые слова = РОССИЯ
Ключевые слова = СЕТЬ
Ключевые слова = ТЕЛЕКОММУНИКАЦИИ
Ключевые слова = ТЕОРИЯ
Ключевые слова = ИНФОРМАЦИОННО-КОММУНИКАЦИОННЫЕ ТЕХНОЛОГИИ. КОМПЬЮТЕРНЫЙ МИР