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

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

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

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

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

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

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

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

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

Detection of Metamorphic Malware based on HMM: A Hierarchical Approach
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 с.
Еще