ФРОНТ АВТОМАТИЗАЦИИ

ФРОНТ АВТОМАТИЗАЦИИ

Безопасность АСУ ТП – приоритетная задача!

ОБОСНОВАНИЕ ВОЗМОЖНОСТИ ПРИМЕНЕНИЯ ВЕРИФИКАЦИИ ПРОГРАММ ДЛЯ ОБНАРУЖЕНИЯ ВРЕДОНОСНОГО КОДА

1
1
2
SHARES

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

Скачать (PDF, 643KB)

1
1
2
SHARES

Добавить комментарий