Читать онлайн «Теория и практика защиты программ»

ПРЕДИСЛОВИЕ К КОМПЬЮТЕРНОМУ ИЗДАНИЮ Уважаемый читатель ! Вашему вниманию предлагается электронный вариант книги «Казарин О. В. Теория и практика защиты программ». Данная работа является дополненным и существенно переработанным вариантом издания «Казарин О. В. Безопасность программного обеспечения компьютерных систем. - М. : МГУЛ, 2003», опубликованным, в том числе, и на данном сайте. Автор по-прежнему будет очень признателен всем заинтересованным читателям, которые выскажут свои замечания, предложения и пожелания по сути и деталям представленной Вам работы. С благодарностью, автор О. В. КАЗАРИН Москва 2004  УДК 681. 322 Казарин О. В. Теория и практика защиты программ. – 2004. – 450 с. В книге рассмотрены теоретические и прикладные аспекты проблемы защиты компьютерных программ от различного рода злоумышленных действий. Особое внимание уделено моделям и методам создания высокозащищенных и алгоритмически безопасных программ для применения в системах критических приложений. Книга предназначена для ученых и практиков в области защиты программного обеспечения для современных компьютерных систем, предназначенных для применения в различных областях человеческой деятельности. Кроме того, книга может служить пособием по дисциплинам «Защита информации», «Программное обеспечение и средства его защиты», «Обеспечение безопасности программного обеспечения автоматизированных систем» для университетов, колледжей и курсов повышения квалификации. Рецензенты: д-р техн. наук, проф. Л. М. Ухлинов; канд. техн. наук, ст. научн. сотр. И. В. Марков; В. С. Максимов © О. В. Казарин, 2004 2  ОГЛАВЛЕНИЕ ПРЕДИСЛОВИЕ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 8 ГЛАВА 1. ВВЕДЕНИЕ В ТЕОРИЮ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ... ... ... ... ... ... ... ... ... ... ... ... ... . . 12 1. 1. ЗАЧЕМ И ОТ КОГО НУЖНО ЗАЩИЩАТЬ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ КОМПЬЮТЕРНЫХ СИСТЕМ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 12 1. 2. УГРОЗЫ БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ... ... ... ... ... . 16 1. 3. ПРИНЯТАЯ АКСИОМАТИКА И ТЕРМИНОЛОГИЯ ... ... ... ... ... ... ... ... ... ... ... 21 1. 4. ЖИЗНЕННЫЙ ЦИКЛ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ КОМПЬЮТЕРНЫХ СИСТЕМ. ТЕХНОЛОГИЧЕСКАЯ И ЭКСПЛУАТАЦИОННАЯ БЕЗОПАСНОСТЬ ПРОГРАММ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 25 1. 5. МОДЕЛИ УГРОЗ БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ... . 27 1. 6. ОСНОВНЫЕ ПРИНЦИПЫ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОСТИ ПО... ... ... ... 50 ГЛАВА 2. ФОРМАЛЬНЫЕ МЕТОДЫ ДОКАЗАТЕЛЬСТВА ПРАВИЛЬНОСТИ ПРОГРАММ И ИХ СПЕЦИФИКАЦИЙ... 52 2. 1. ОБЩИЕ ПОЛОЖЕНИЯ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 52 2. 2. ПРЕДУСЛОВИЯ И ПОСТУСЛОВИЯ В ДОКАЗАТЕЛЬСТВАХ ПРАВИЛЬНОСТИ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . 55 2. 3.