Preview

Научный вестник МГТУ ГА

Расширенный поиск

МЕТОДИКА АНАЛИЗА ПРОГРАММНОГО ОБЕCПЕЧЕНИЯ БОРТОВЫХ КОМПЬЮТЕРОВ ВОЗДУШНОГО CУДНА НА ОТCУТCТВИЕ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОCТЕЙ CИГНАТУРНО-ЭВРИCТИЧЕCКИМ CПОCОБОМ

Полный текст:

Аннотация

В статье исследуются вопросы информационной безопасности бортовых компьютеров на самолетах граж- данской авиации (ГА). В информационной безопасности под недекларированными возможностями понимают воз- можности технических устройств или программного обеспечения, не отраженные в документации. Требования к документации и к содержанию испытаний накладываются при сертификации программного обеспечения. Требова- ния к документации включают контроль состава и содержания документации (спецификация, описание и тексты программ, исходники). Требования к содержанию испытаний включают статический анализ исходных текстов программ (в том числе контроль соответствия исходных текстов их загрузочным модулям); динамический анализ исходных текстов программ (в том числе контроль выполнения маршрутов). В настоящее время не существует комплексных мер по проверке программного обеспечения (ПО) бортовых компьютеров самолетов. Нет норматив- но-правовой базы, позволяющей контролировать ПО закупаемых самолетов зарубежного производства, а сам факт получения ПО достаточно трудоемок. Вследствие этого предлагается разработать основные положения авиацион- ного законодательства, позволяющие проводить анализ программ бортовых компьютеров самолетов ГА. В случае отсутствия исходных текстов ПО используются два подхода анализа кода: структурный статический и динамиче- ский анализ исходного кода; сигнатурно-эвристический анализ потенциально опасных операций. Статическим анализом определяют поведение программы путем прочтения программного кода (без запуска программы), кото- рый представлен на языке ассемблера - листинга дизассемблирования. При динамическом анализе выполняется трассировка программы. В этой статье проведен анализ программного обеспечения бортовых компьютеров само- летов на обнаружение недекларированных возможностей с использованием интерактивного дизассемблера.

Об авторе

В. И. Петров
МГТУ ГА
Россия


Список литературы

1. Защита от несанкционированного доступа к информации. Часть 1. Программное обеспе- чение средств защиты информации. Классификация по уровню контроля отсутствия недеклариро- ванных возможностей // Приказ председателя Гостехкомиссии России от 4 июня 1999 г. № 114. 4 с

2. Касперски К. Компьютерные вирусы изнутри и снаружи. СПб.: Питер, 2006. 400 c

3. Петров В.И. Недекларированные возможности программного обеспечения бортовых компьютеров воздушного судна // Гражданская авиация на современном этапе развития науки, техники и общества: сборник тезисов докладов участников Международной научнотехнической конференции, посвященной 45-летию Университета. М.: ИД Академии имени Н.Е. Жуковского, 2016. С. 160

4. Перспективный облик и технологии разработки комплексов бортового оборудования воздушных судов / Е.А. Федосов, Г.А. Чуянов, В.В. Косьянчук, Н.И. Сельвесюк // Общероссийский научно-технический журнал «Полет». 2013. № 8. С. 41-52

5. Алгоритмическое и программное обеспечение по исcледованию бортовых вычислительных устройств / Н.Я. Половинчук, А.А. Дрюков, О.В. Дорошевский, В.В. Калашников // Инновационные процессы в современном мире (Иннофорум-2016): материалы международной научно-практической конференции. М., 2016. С. 380-383

6. Болелов Э.А. Модели выходных сигналов радионавигационных измерителей бортового комплекса применительно к условиям аномального режима их функционирования // Проблемы безопасности Российского общества. 2015. № 2. C. 44-50

7. Кузнецов C.В. Анализ структуры современных комплексов и систем авионики воз- душных судов гражданской авиации // Научный Вестник МГТУ ГА. 1998. № 3. С. 5-26

8. Кузнецов C.В. Математические модели процессов и систем технической эксплуата- ции авионики как марковские и полумарковские процессы // Научный Вестник МГТУ ГА. 2015. № 213. C. 28-33


Для цитирования:


Петров В.И. МЕТОДИКА АНАЛИЗА ПРОГРАММНОГО ОБЕCПЕЧЕНИЯ БОРТОВЫХ КОМПЬЮТЕРОВ ВОЗДУШНОГО CУДНА НА ОТCУТCТВИЕ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОCТЕЙ CИГНАТУРНО-ЭВРИCТИЧЕCКИМ CПОCОБОМ. Научный вестник МГТУ ГА. 2017;20(1):186-193.

For citation:


Petrov V.I. THE TECHNIQUE OF ANALYSIS OF SOFTWARE OF ON-BOARD COMPUTERS OF AIR VESSEL TO ABSENCE OF UNDECLARED CAPABILITIES BY SIGNATURE-HEURISTIC WAY. Civil Aviation High TECHNOLOGIES. 2017;20(1):186-193. (In Russ.)

Просмотров: 147


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-0619 (Print)
ISSN 2542-0119 (Online)