Персона: Чепик, Надежда Анатольевна
Загружается...
Email Address
Birth Date
Научные группы
Организационные подразделения
Организационная единица
Институт интеллектуальных кибернетических систем
Цель ИИКС и стратегия развития - это подготовка кадров, способных противостоять современным угрозам и вызовам, обладающих знаниями и компетенциями в области кибернетики, информационной и финансовой безопасности для решения задач разработки базового программного обеспечения, повышения защищенности критически важных информационных систем и противодействия отмыванию денег, полученных преступным путем, и финансированию терроризма.
Статус
Фамилия
Чепик
Имя
Надежда Анатольевна
Имя
5 results
Результаты поиска
Теперь показываю 1 - 5 из 5
- ПубликацияТолько метаданныеОПРЕДЕЛЕНИЕ И РАЗРАБОТКА НИЗКОУРОВНЕВЫХ КОМПОНЕНТОВ, НЕОБХОДИМЫХ ДЛЯ РЕАЛИЗАЦИИ ЯДРА ОПЕРАЦИОННОЙ СИСТЕМЫ НА ФУНКЦИОНАЛЬНОМ ЯЗЫКЕ ПРОГРАММИРОВАНИЯ OCAML(2016) Чепик, Н. А.; Чепик, Надежда Анатольевна; Иванов Михаил АлександровичВыпускная квалификационная работа содержит 80 страниц, на которой размещены 15 рисунков и 5 таблиц. При написании работы использовался 21 источник. В работу входит введение, три главы, итоговое заключение, список используемой литературы. Глава 1 выпускной квалификационной работы посвящена обзору основных типов ядра операционной системы. Дается подробный обзор микроядерного подхода, анализируются современные микроядра семейства L4. Рассматриваются подходы к решению задачи формальной верификации. Описываются основы языка программирования OCaml. В главе 2 был разработан подход к реализации микроядра на языке OCaml. Описывается выполнение портирования среды выполнения языка OCaml в окружение без операционной системы. Были разработаны приложения на языках C и Assembler, работающие без операционной системы. Рассматривается структура ELF-файла. Было выполнено развертывание среды для сборки приложений без кросс-компилятора при помощи эмулятора QEMU. Рассматривается разработка простого приложения на языке OCaml, работающего без операционной системы. В главе 3 описываются способы тестирования производительности разработанных примитивов. Рассматривается разработанный тест межпроцессорного взаимодействия. Рассматриваются новые примитивы, улучшающие производительность. Подробно описываются результаты первоначальных тестирований. Дается оценка производительности на основе сравнения с существующими реализациями. Оценивается влияние сборки мусора на производительность. Предлагаются различные варианты оптимизации и рассматриваются результаты тестирования после оптимизации. Заключение посвящено основным выводам по реализации подхода к разработке микроядра на языке программирования OCaml и результатам производительности разработанных примитивов.
- ПубликацияТолько метаданныеDevelopment of fast and memory-safe operating system kernel(2019) Komarov, T.; Ivanov, M.; Chepik, N.; Starikovskiy, A.; Комаров, Тимофей Ильич; Иванов, Михаил Александрович; Чепик, Надежда Анатольевна© 2019 IEEE Microkernels are considered to be more secure by design than monolithic OS kernels. Furthermore, small size of a microkernel codebase allows developers to maximize its performance, to make its architecture perfect or even to apply formal verification methods. The latter makes it possible to guarantee various important characteristics of an OS kernel, but it's very expensive in terms of time and effort needed. There are projects presenting another approaches, which allow to guarantee (with some assumptions) memory-safety of a kernel. Usually, these methods are based on using programming languages, which provide this property by design. The problem is that it's hard to find such a language, that ensures memory-safety and at the same time is suitable for OS kernel development. In this paper we present a possible approach to development of a microkernel, which is not expensive in terms of time spent and ensures both memory safety and high performance.
- ПубликацияОткрытый доступОСОБЕННОСТИ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОСТИ ВСТРОЕННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ(НИЯУ МИФИ, 2023) ЖУКОВ, И. Ю.; МУРАВЬЕВ, С. К.; КОМАРОВ, Т. И.; ЧЕПИК, Н. А.; Комаров, Тимофей Ильич; Жуков, Игорь Юрьевич; Чепик, Надежда АнатольевнаКомплексный анализ реализации импортозамещения в сфере вычислительного оборудования показывает острую необходимость разработки доверенного встроенного программного обеспечения. По результатам исследований предложен подход по созданию отечественной защищенной иерархии доверия, формируемой прошивкой материнской платы в момент старта компьютера («корня доверия») до предоставления защищенных облачных сервисов (формирование «цепочки доверия»).
- ПубликацияТолько метаданныеGDozenHash Hash Function Based on Three-Dimensional Stochastic Transformations(2020) Ivanov, M.; Komarov, T.; Salikov, E.; Chepik, N.; Иванов, Михаил Александрович; Комаров, Тимофей Ильич; Чепик, Надежда Анатольевна© 2020, Springer Nature Switzerland AG.Hash functions along with pseudorandom number generators are the basic elements of stochastic methods of information protection, providing unpredictable behavior of protection tools and objects of protection. The protection from an active opponent can be guaranteed only by using of stochastic methods. GDozenHash hash algorithm based on three-dimensional stochastic transformations Dozen+ is suggested. A feature of the algorithm is a high degree of parallelism at the level of elementary operations, in other words, the hash function is suitable for the implementation with usage of hybrid supercomputer technologies. The paper also presents the results of research on statistical security of the proposed hash algorithm.
- ПубликацияОткрытый доступСОСТОЯНИЕ И ПЕРСПЕКТИВЫ РАЗВИТИЯ ПАКЕТНЫХ МЕНЕДЖЕРОВ(НИЯУ МИФИ, 2024) КОМАРОВ, Т. И.; ЖУКОВА, И. Ю.; ЧЕПИК, Н. А.; ПОЛОВНЕВА, Ю. А.; Половнева, Юлия Андреевна; Чепик, Надежда Анатольевна; Жуков, Игорь Юрьевич; Комаров, Тимофей ИльичАнализируются основные сложности и тенденции в области управления пакетами и конфигурациями ОС: проблемы традиционных пакетных менеджеров, распространение «неизменяемых» дистрибутивов и контейнеров, развитие функциональных пакетных менеджеров - в частности, Nix и Guix. Предлагаются подходы к развитию отечественных решений в данной области с учётом мирового опыта.