Математика, 2005, ¹2 УДК 681.3 МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ПОЛИТИКИ БЕЗОПАСНОСТИ ЭТАЛОННОЙ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ НА ОСНОВЕ ЭМЗАС-СЕТИ А. С. <...> Немченко3 Воронежская государственная технологическая академия 2 Воронежский институт МВД РФ 35 центральный научно-исследовательский испытательный институт МО РФ Построена на основе аппарата ЭМЗАС-сетей математическая модель политики безопасности (ПБ) эталонной автоматизированной системы (АС) в смысле эталонной модели защищенной автоматизированной системы (ЭМЗАС). <...> Построенная модель дает математическое основание для формулирования, изучения и реализации ПБ эталонной АС, что создает существенные теоретические предпосылки для реализации концепции эталонной АС в смысле ЭМЗАС в практике разработки АС критического применения. <...> ВВЕДЕНИЕ Для унификации архитектурного облика автоматизированных систем (АС) критического применения (КП) за счет стандартизации интерфейсов сопряжения прикладных процессов с уровневыми комплексами сервисов безопасности на основе их декомпозиции по уровням доступа к ресурсам АС была предложена концепция эталонной АС в смысле 15-уровневой эталонной модели защищенной автоматизированной системы (ЭМЗАС) [1]. <...> Модель эталонной АС призвана служить идеализированной моделью АС, реализующей принципиально безопасную технологию циркуляции информации. <...> Их структура в высокой степени регулярна, за счет чего пространство состояний всей совокуп© Дубровин А. С., Сумин В. И., Коротков М. В., Немченко А. Ю., 2005. ности гиперпроцессов эталонной АС представляется в ЭМЗАС-сети относительно просто, а политика безопасности (ПБ) на ней относительно прозрачно. <...> Структура сети блочная, динамика определяется перемещением по заданным процедурам (преобразования, разрешающим и временной задержки) объектов (фишек), группирующихся в транзакты. <...> Как очередной шаг в этом направлении, целью данной статьи является построение на основе аппарата ЭМЗАС-сетей математической <...>