Промышленные АСУ и контроллеры Аннотация к статье << Назад О защите от троянов в схемах уровня регистровых передач Титов А.С., Гордеев Э.Н. В статье рассмотрен актуальный в области информационной безопасности автоматизированных систем вопрос защиты от троянов в схемах уровня регистровых передач. Для моделирования схем уровня регистровых передач использован математический аппарат булевых функций. Исследованы задачи анализа наличия в моделируемой схеме троянов, нарушающих работоспособность схемы и вызывающих отказ в обслуживании. Для решения этих задач разработаны методы, основанные на вероятностных алгоритмах проверки свойств булевых функций, а именно: свойства сохранения константы и свойства зависимости функции от не более чем фиксированного числа аргументов. Разработанные методы определяют, подвержена ли схема отказу в обслуживании. В этом случае детально выясняются те входные данные схемы, при подаче которых её работоспособность нарушается и достигается отказ в обслуживании. Проведена асимптотическая оценка вычислительной сложности используемых в системе алгоритмов. Проанализированы их количественные показатели. Разработанная методика реализована программно. Для проведения экспериментов создана подсистема, моделирующая схемы с троянами и без них. С её использованием подбираются оптимальные параметры настройки системы для её эффективного функционирования. Проведено сравнение разработанной системы с другими методами, связанными с анализом наличия троянов в схемах уровня регистровых передач. Ключевые слова: схемы из функциональных элементов, булевы функции, вероятностные алгоритмы, нарушение доступности, информационная безопасность. DOI: 10.25791/asu.3.2024.1491 Стр. 03-18.