Подробное описание документа
Ершов Н. Г.
Анализ проблем верификации драйверов Windows / Ершов Н. Г., Рязанова Н. Ю. - DOI 10.18698/2308-6033-2013-6-770 // Инженерный журнал: наука и инновации. - 2013. - № 6. -
Статья посвящена вопросам, связанным с безопасностью работы ОС Windows. Показано, что драйверы режима ядра, в которых используются средства взаимоисключения, могут быть потенциально опасными для системы и являться причиной краха системы. Анализируются результаты работы включенных в систему средств верификации Driver Verifier. Для проведения анализа разработаны драйверы режима ядра, содержащие разные типы угроз, и выполнена их верификация. Определены возможности и сформулированы практические рекомендации по использованию системных средств верификации с целью обнаружения и исключения из их кода потенциально опасных участков.
