Engineering Journal: Science and InnovationELECTRONIC SCIENCE AND ENGINEERING PUBLICATION
Certificate of Registration Media number Эл #ФС77-53688 of 17 April 2013. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский
Article

Problems analysis of Windows drivers verification

Published: 15.10.2013

Authors: Ershov N.G., Ryazanova N.Yu.

Published in issue: #6(18)/2013

DOI: 10.18698/2308-6033-2013-6-770

Category: Information technology

The article is devoted to matters relating to the security of the operating system Windows. It is shown that the kernel-mode drivers, which are used by means of mutual exclusiveness, can be potentially dangerous for the system and cause a system crash. Analyzed are the results of the work included in the system of means of verification Driver Verifier. For the analysis developed by kernel-mode drivers, containing different types of hazards, and carried out the verification. Identify opportunities and formulate practical recommendations for the use of system resources to verify the purpose of detection and elimination of their code of potentially dangerous sites.