?

Details
Table Card RUSMARC
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

Allowed Actions: –

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

Group: Anonymous

Network: Internet

Annotation

В данной работе представлен анализ существующих методов и средств верификации, оценена их применимость для верификации встроенного программного обеспечения (ВПО) 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.

Document access rights

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

Usage statistics

stat Access count: 51
Last 30 days: 0
Detailed usage statistics