|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Математические основы компьютерной безопасности
Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели
П. Н. Девянинab a Академия криптографии Российской Федерации, г. Москва
b АО "НПО "РусБИТех", г. Москва
Аннотация:
Широкое применение СУБД PostgreSQL в защищённых операционных системах, в том числе в операционной системе специального назначения (ОССН) Astra Linux Special Edition, требует разработки научно-обоснованных подходов к исследованию безопасности реализованного в этой СУБД механизма управления доступом. Для этого необходимо проанализировать как изначально используемое в СУБД PostgreSQL ролевое управление доступом, так и востребованные в практике создания защищённых систем мандатное управление доступом и мандатный контроль целостности. Известно, что научной основой при разработке механизма управления доступом в ОССН стала мандатная сущностно-ролевая ДП-модель (МРОСЛ ДП-модель), включающая перечисленные три вида управления доступом, имеющая иерархическое представление (позволяющее дополнять модель новыми элементами без её полной переработки), а также прошедшая проверку на корректность с применением инструментальных средств дедуктивной верификации. В связи с этим предлагаются подходы к построению в рамках иерархического представления МРОСЛ ДП-модели новых уровней, соответствующих механизму управления доступом в СУБД PostgreSQL. При этом из-за наличия существенных отличий этого механизма в ОССН и СУБД на первом этапе моделирования основное внимание уделено ролевому управлению доступом.
Ключевые слова:
компьютерная безопасность, формальная модель, управление доступом, PostgreSQL.
Образец цитирования:
П. Н. Девянин, “Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели”, ПДМ. Приложение, 2018, № 11, 95–99
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdma378 https://www.mathnet.ru/rus/pdma/y2018/i11/p95
|
Статистика просмотров: |
Страница аннотации: | 326 | PDF полного текста: | 174 | Список литературы: | 26 |
|