Publication:
ОСОБЕННОСТИ ПРОГРАММНОЙ АРХИТЕКТУРЫ ЯЗЫКОВОЙ ПЛАТФОРМЫ PLIF ДЛЯ АНАЛИЗА БЕЗОПАСНОСТИ ИНФОРМАЦИОННЫХ ПОТОКОВ В АВТОМАТИЗИРОВАННЫХ СИСТЕМАХ

Простая страница элемента
creativeworkseries.issn 2074-7128 (Print)
dc.contributor.authorТимаков, А. А.
dc.contributor.authorФадеев, М. М.
dc.contributor.authorРыжов, И. Г.
dc.contributor.authorЛысиков, А. В.
dc.contributor.authorФадеев, Михаил Михайлович
dc.date.accessioned2023-09-27T14:12:08Z
dc.date.available2023-09-27T14:12:08Z
dc.date.issued2023
dc.description.abstractВ области формальных моделей безопасности компьютерных систем к настоящему времени выполнен значительный объем исследований. Одним из наиболее важных направлений является контроль информационных потоков в программных средах автоматизированных систем. Соответствующие механизмы сегодня активно исследуются, предпринимаются попытки их внедрения в языковые платформы, предназначенные для создания как системного, так и прикладного программного обеспечения. На данном этапе научной проработки указанное направление можно отнести к академическому, характеризуемому теоретическими изысканиями и появлением множества прототипов. По мнению авторов, основной проблемой использования обозначенных механизмов при создании промышленных автоматизированных систем и включения соответствующих этапов в цикл безопасной разработки является сложность ручного инструментирования программного кода на основе меток безопасности и проверка выявленных нарушений. В работе представлена разработанная технологическая платформа выявления запрещенных информационных потоков в программных блоках систем управления базами данных, предложена общая процедура ее применения, которая предполагает разделение функций разработчиков программного обеспечения и аналитиков информационной безопасности.
dc.identifier.citationТИМАКОВ, Алексей А. et al. ОСОБЕННОСТИ ПРОГРАММНОЙ АРХИТЕКТУРЫ ЯЗЫКОВОЙ ПЛАТФОРМЫ PLIF ДЛЯ АНАЛИЗА БЕЗОПАСНОСТИ ИНФОРМАЦИОННЫХ ПОТОКОВ В АВТОМАТИЗИРОВАННЫХ СИСТЕМАХ. Безопасность информационных технологий, [S.l.], v. 30, n. 2, p. 53-62, май 2023. ISSN 2074-7136. Доступно на: <https://bit.spels.ru/index.php/bit/article/view/1496>. Дата доступа: 27 сен. 2023. doi:http://dx.doi.org/10.26583/bit.2023.2.03.
dc.identifier.doi10.26583/bit.2023.2.03
dc.identifier.issn2074-7136
dc.identifier.issn2074-7128
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/313
dc.identifier.urihttp://dx.doi.org/10.26583/bit.2023.2.03
dc.relation.ispartofBezopasnost informacionnyh tehnology
dc.subjectинформационные потоки
dc.subjectконтроль информационных потоков
dc.subjectформальная верификация
dc.subjectязыковая платформа
dc.subjectполитика безопасности
dc.titleОСОБЕННОСТИ ПРОГРАММНОЙ АРХИТЕКТУРЫ ЯЗЫКОВОЙ ПЛАТФОРМЫ PLIF ДЛЯ АНАЛИЗА БЕЗОПАСНОСТИ ИНФОРМАЦИОННЫХ ПОТОКОВ В АВТОМАТИЗИРОВАННЫХ СИСТЕМАХ
dc.typejournal-article
dspace.entity.typePublication
oaire.citation.issue2
oaire.citation.volume30
relation.isAuthorOfPublication1eb7e90b-3fab-4106-9645-179c0d249b9c
relation.isAuthorOfPublication.latestForDiscovery1eb7e90b-3fab-4106-9645-179c0d249b9c
relation.isJournalIssueOfPublicationda36e0b4-777d-407c-aefb-a75ffd529536
relation.isJournalIssueOfPublication.latestForDiscoveryda36e0b4-777d-407c-aefb-a75ffd529536
relation.isJournalOfPublication3b9ae913-eaeb-4d29-a767-7f6ca8a0e066
relation.isOrgUnitOfPublication95987ec3-9715-4645-9bf6-6661b387f1e6
relation.isOrgUnitOfPublication.latestForDiscovery95987ec3-9715-4645-9bf6-6661b387f1e6
Файлы
Original bundle
Теперь показываю 1 - 1 из 1
Уменьшенное изображение
Name:
1496-2194-1-PB.pdf
Size:
491.71 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Теперь показываю 1 - 1 из 1
Уменьшенное изображение
Name:
license.txt
Size:
3.45 KB
Format:
Item-specific license agreed to upon submission
Description:
Download
Коллекции