Работа представляет собой краткий обзор моделей и методов, предназначенных для обеспечения безопасности программных средств современных компьютерных систем на протяжении всего их жизненного цикла. Рассмотрены подходы к разработке технологий, обеспечивающих безопасность программных средств и возникающие при этом сложности. Охарактеризована общая схема, применяемая для построения системы защиты программных средств. Представлены основные типы систем защиты программных средств и выделены типы методов, используемых при их построении. Охарактеризованы модели и методы, применяемые в процессе верификации программных средств. Указаны некоторые возможные направления исследований, связанных с построением формальных моделей и методов верификации программных средств. Кратко рассмотрены методы обеспечения защиты баз данных. Ключевые слова: программные средства, системы защиты программных средств, верификация.
