|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
ADV_SPM — Формальные модели политики безопасности на практикестатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 26 декабря 2017 г.
- Авторы: Хорошилов А.В., Щепетков И.В.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 29
- Номер: 3
- Год издания: 2017
- Первая страница: 43
- Последняя страница: 56
- DOI: 10.15514/ISPRAS-2017-29(3)-4
- Аннотация: В статье рассматривается семейство требований доверия к безопасности ADV_SPM «Моделирование политики безопасности», которое определяется стандартом ГОСТ Р ИСО/МЭК 15408-3-2013 «Критерии оценки безопасности информационных технологий. Часть 3. Компоненты доверия к безопасности». Обсуждаются задачи, решаемые этим семейством, и вопросы, которые возникают при попытке интерпретировать его требования. На простом примере представляется подход к формализации политик безопасности при помощи языка формальных спецификаций Event-B и инструментов платформы Rodin.
- Добавил в систему: Корныхин Евгений Валерьевич