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