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