Cтраница 4
Предположим, что каждый терминал имеет уникальный ключ, известный терминалу и основной ЭВМ. В основной ЭВМ этот ключ может быть защищен с помощью главного ключа основной ЭВМ, который недоступен ни одной из программ пользователей. Для любого сеанса работы основная ЭВМ генерирует сеансовый ключ, который передается на терминал после шифрования с помощью главного ключа терминала. Затем этот ключ используется в течение всего сеанса работы и терминалом, и основной ЭВМ. Авторы предлагают метод генерирования сеансового ключа е основной ЭВМ, который гарантирует то, что ключ не появится в явном виде. [46]
Эти методы позволяют найти тесты для обнаружения неисправностей в комбинационных и последовательностных схемах. На практике мы часто хотим разработать набор тестов, который будет иметь дело со всеми неисправностями цифровой системы, например процессора. Однако многие из наших методов генерирования тестов вырабатывают тесты только для однократной специфической неисправности. Другие позволяют обрабатывать одновременно целый класс неисправностей, но не могут быть использованы для столь больших схем, как процессор. Очевидный выход из положения в любом случае состоит в том, чтобы применять некоторый метод многократно, до тех пор пока не будут обработаны все неисправности объекта, а затем просто объединить полученные тесты. Такое решение может быть удовлетворительным с академической точки зрения, но на практике оно оказывается совершенно непригодным. [47]