В статье обосновывается необходимость специальных методов перехода от абстрактных к структурным управляющим автоматам, работающим в составе гарантоспособных систем. Предлагается использовать унитарное кодирование состояний автоматов, а также осуществлять преобразование алгоритмов работы автоматов, состоящее в замене состояний ожидания парами дублирующих друг друга взаимосвязанных состояний. Ключевые слова: гарантоспособная система, защита информации, шифропроцессор, цифровой автомат, кодирование состояний, унитарное кодирование.
