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 | |
| 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 |
|
| Internet | Authorized users SPbPU |
|
| Internet | Anonymous |
|
Access count: 53
Last 30 days: 0
