1. Наука
  2. Видання
  3. Наука і техніка Повітряних Сил Збройних Сил України
  4. 2(31)'2018
  5. Оценивание информационной безопасности систем на программируемой логике с использованием кейсов: таксономия, нотация, концепция

Оценивание информационной безопасности систем на программируемой логике с использованием кейсов: таксономия, нотация, концепция

О.А. Ильяшенко
Аннотации на языках:


Анотация: Работа посвящена аспектам оценки безопасности информационно-управляющих систем, которые используют программируемую логику как объект реализаций основных функций. Для выявления всех разногласий в процессах оценки и обеспечения безопасности рассмотрена процессно-продуктная модель оценки безопасности. Приведено сравнение существующих кейсов безопасности. Предложена модифицированная таксономия оценки безопасности систем на программируемой логике. Она основана на терминологии, принятой в области функциональной и информационной безопасности, а также оценки с использованием кейсов. Модификацию нотации осуществлено в аспекте разработки алгоритмизации процесса принятия решений по заверения безопасности, что позволяет уменьшить неопределенность оценки. Представлены результаты разработки концепции оценки информационной безопасности систем на программируемой логике с использованием улучшенных кейсов заверения информационной безопасности. Она включает в себя нотацию, кейс-модель (улучшенный кейс заверения информационной безопасности), которая основана на представленной нотации, и кейс-технологии, в качестве которой подается набор инструментов, последовательность действий и результат, представленный в формализованном и доказательном виде.


Ключевые слова: программируемая логика, функциональная безопасность, информационная безопасность, кейс, заверение, улучшенный кейс заверения информационной безопасности, ASAC