Детальная информация

Название: Метод верификации встроенного программного обеспечения UEFI BIOS: выпускная квалификационная работа бакалавра: 10.03.01 - Информационная безопасность ; 10.03.01_03 - Безопасность компьютерных систем
Авторы: Васильева Ксения Владимировна
Научный руководитель: Коноплев Артем Станиславович
Другие авторы: Резединова Евгения Юрьевна
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики
Выходные сведения: Санкт-Петербург, 2019
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: статический анализ; встроенное программное обеспечение; архитектура uefi bios; недекларированные возможности; верификация программного обеспечения; адаптивное сравнение бинарных файлов; доверенная вычислительная среда; static analysis; embedded software; uefi bios architecture; undeclared capabilities; verification of embedded software; adaptive binary comparison; trusted executable environment
Тип документа: Выпускная квалификационная работа бакалавра
Тип файла: PDF
Язык: Русский
Уровень высшего образования: Бакалавриат
Код специальности ФГОС: 10.03.01
Группа специальностей ФГОС: 100000 - Информационная безопасность
Ссылки: Отзыв руководителя; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2019/vr/vr19-4931
Права доступа: Доступ по паролю из сети Интернет (чтение, печать)
Ключ записи: ru\spstu\vkr\1699

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

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

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать
Интернет Авторизованные пользователи СПбПУ Прочитать Печать
-> Интернет Анонимные пользователи

Статистика использования

stat Количество обращений: 51
За последние 30 дней: 0
Подробная статистика