Problems analysis of Windows drivers verification
МГТУ им. Н.Э. Баумана, Н.Г. Ершов, Н.Ю. Рязанова, МГТУ им. Н.Э. Баумана · Engineering Journal Science and Innovation · 2013
Анализ проблем верификации драйверов Windows 1 УДК 681.3.066Анализ проблем верификации драйверов Windows © Н.Г.Ершов, Н.Ю.Рязанова МГТУ им.Н.Э.Баумана, Москва, 105005, Россия Статья посвящена вопросам, связанным с безопасностью работы ОС Windows.Показано, что драйверы режима ядра, в которых используются средства взаимоисключения, могут быть потенциально опасными для системы и являться причиной краха системы.Анализируются результаты работы включенных в систему средств верификации Driver Verifier.Для проведения анализа разработаны драйверы режима ядра, содержащие разные типы угроз, и выполнена их верификация.Определены возможности и сформулированы практические рекомендации по использованию системных средств верификации с целью обнаружения и исключения из их кода потенциально опасных участков.