Details

Title Метод верификации встроенного программного обеспечения UEFI BIOS: выпускная квалификационная работа бакалавра: 10.03.01 - Информационная безопасность ; 10.03.01_03 - Безопасность компьютерных систем
Creators Васильева Ксения Владимировна
Scientific adviser Коноплев Артем Станиславович
Other creators Резединова Евгения Юрьевна
Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики
Imprint Санкт-Петербург, 2019
Collection Выпускные квалификационные работы ; Общая коллекция
Subjects статический анализ ; встроенное программное обеспечение ; архитектура uefi bios ; недекларированные возможности ; верификация программного обеспечения ; адаптивное сравнение бинарных файлов ; доверенная вычислительная среда ; static analysis ; embedded software ; uefi bios architecture ; undeclared capabilities ; verification of embedded software ; adaptive binary comparison ; trusted executable environment
Document type Bachelor graduation qualification work
File type PDF
Language Russian
Level of education Bachelor
Speciality code (FGOS) 10.03.01
Speciality group (FGOS) 100000 - Информационная безопасность
Links Отзыв руководителя ; Отчет о проверке на объем и корректность внешних заимствований
DOI 10.18720/SPBPU/3/2019/vr/vr19-4931
Rights Доступ по паролю из сети Интернет (чтение, печать)
Record key ru\spstu\vkr\1699
Record create date 9/6/2019

Allowed Actions

Action 'Read' will be available if you login or access site from another network

Group Anonymous
Network Internet

В данной работе представлен анализ существующих методов и средств верификации, оценена их применимость для верификации встроенного программного обеспечения (ВПО) UEFI BIOS. Приведено исследование архитектуры UEFI. Изложен метод частичной автоматизации верификации ВПО UEFI BIOS на основе использования адаптивного сравнения бинарных файлов, дополненного механизмами учета модульной архитектуры UEFI. Разработана программная реализация предложенного метода.

In the given work an analysis of existing methods and tools of verification is stated, the investigation of the UEFI architecture is given. The method of partial automation of UEFI BIOS verification process based on the use of adaptive binary comparison, supplemented by mechanisms for accounting the modular architecture of UEFI, is presented. A specific software implementation of the proposed method is developed.

Network User group Action
ILC SPbPU Local Network All
Read Print
Internet Authorized users SPbPU
Read Print
Internet Anonymous

Access count: 53 
Last 30 days: 0

Detailed usage statistics