Модель метаморфного преобразования исполняемого кода

Збицкий Павел Владимирович

SciUp \ Научные статьи \ Общие вопросы науки и культуры \ Информационные технологии. Вычислительная техника. Обработка данных \ Программные средства

Модель метаморфного преобразования исполняемого кода

Збицкий Павел Владимирович

Журнал: Вестник Южно-Уральского государственного университета. Серия: Компьютерные технологии, управление, радиоэлектроника @vestnik-susu-ctcr

Статья в выпуске: 26 (159), 2009 года.

Бесплатный доступ

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

компьютерный вирус \ метаморфизм \ полиморфизм \ математическая модель \ формальная грамматика \ конечный автомат

Похожие статьи в разделе Программные средства

Способ количественного сравнения обфусцирующих преобразований

Петр Дмитриевич Борисов, Юрий Владимирович Косолапов

Мягкое декодирование произведений кодов произвольной размерности на базе кодов с единственной проверкой четности

Гладких Анатолий Афанасьевич, Чилихин Николай Юрьевич, Линьков Иван Сергеевич

Методика защиты программного кода от несанкционированной модификации и исследования посредством его хеширования

Кукарцев Анатолий Михайлович, Лубкин Иван Александрович

Основы вычислительной технологии для анализа и реструктурирования текстов программ на принципах логико-смыслового анализа и синтеза

Чернышов Михаил Юрьевич, Абасов Николай Викторович, Осипчук Евгений Николаевич

Detection of Metamorphic Malware based on HMM: A Hierarchical Approach

Mina Gharacheh, Vali Derhami, Sattar Hashemi, Seyed Mehdi Hazrati Fard

О некоторых возможностях обнаружения скрытого вредоносного кода

С.А. Нестерович, Ю.И. Купцова

Короткий адрес: https://sciup.org/147154662

IDS: 147154662 | УДК: 004.4

Executable code metamorthic transformation model

In the paper built model of metamorphic transformation of executable code by using finite automatons and formal grammars. This is a new model which considers code-growing and code-shrinking techniques. The statement about static undetectable of viruses built by described method is proved.

Список литературы Модель метаморфного преобразования исполняемого кода

Qozah. Polymorphism and grammars/Qozah//29A E-zine. 1999. № 4.
Filiol, E. Metamorphism, Formal Grammars and Undecidable Code Mutation/E. Filiol//Proc. of PWASET. 2007. V. 20.
Bruschi, D. Using Code Normalization for Fighting Self-Mutating Malware/D. Bruschi, L. Martignoni, M. Monga//Security & Privacy, IEEE. 2007. V. 5. P. 46-54.
Lakhotia, A. Are metamorphic viruses really invincible?/A. Lakhotia, A. Kapoor//Virus Bulletin. Dec. 2004. P. 5-7.
Zhang, Q. MetaAware: Identifying Metamorphic Malware/Q. Zhang, D. Reeves//Proc. of the 23rd Annual Computer Security Applications Conference. Dec, 2007.
Szor, P. Hunting for Metamorphic/P. Szor, P. Ferrie//Virus Bulletin. Sept, 2001. P. 123-144.
Filiol, E. Computer viruses: from theory to applications/E. Filiol. France: Springer-Verlag, 2005. 405 p.
Szor, P. The Art of Computer: Virus Research and Defense/P. Szor. USA: Symantec Press, 2005. 744p.
Гросс, М. Теория формальных грамматик/M. Гросс, А. Лантен. М.: Мир, 1971. 296 с.
Гладкий, А.В. Формальные грамматики и языки/А.В. Гладкий. М.: Наука, 1973. 368 с.
Пентус, А.Е. Теория формальных языков: учебное пособие/А.Е Пентус, М.Р. Пентус. М.: изд-во ЦПИ при МГУ, 2004. 80 с.

Еще