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