Содержание
- Введение 1
- Теоретические основы систем программно-аппаратной защиты 2
- - Основные понятия и определения 2.1
- - Архитектура и принципы построения систем защиты 2.2
- - Методы обеспечения безопасности 2.3
- Методы анализа и верификации систем программно-аппаратной защиты 3
- - Статическое и динамическое тестирование 3.1
- - Формальная верификация 3.2
- - Анализ уязвимостей и методы их выявления 3.3
- Анализ практических примеров систем программно-аппаратной защиты 4
- - Примеры реализации систем защиты: встраиваемые системы 4.1
- - Анализ систем управления доступом 4.2
- - Средства защиты информации: примеры и анализ 4.3
- Рекомендации по повышению корректности систем программно-аппаратной защиты 5
- - Выбор архитектуры и проектирование 5.1
- - Методы тестирования и верификации 5.2
- - Меры по снижению рисков и обеспечению безопасности 5.3
- Заключение 6
- Список литературы 7