Применение метода Ченгси-Ванга для обфускации функциональных языков

Нажмите для полного просмотра!

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №2

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №3

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №4

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №5

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №6

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №7

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №8

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №9

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №10

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №11

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №12

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №13

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №14

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №15

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №16

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №17

Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №18

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Применение метода Ченгси-Ванга для обфускации функциональных языков. Доклад-сообщение содержит 18 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

ПРИМЕНЕНИЕ МЕТОДА ЧЕНГСИ-ВАНГА ДЛЯ ОБФУСКАЦИИ ФУНКЦИОНАЛЬНЫХ ЯЗЫКОВ СТУДЕНТ: МАРТЬЯНОВ В.Д. ГРУППА: ИТ-41 БО НАУЧНЫЙ РУКОВОДИТЕЛЬ: БАШКИН В.А.

Слайд 2

Описание слайда:

ВВЕДЕНИЕ Защита информации - является острой проблемой в наши дни. Обфускация - один из способов борьбы с ней в IT-сфере.

Слайд 3

Описание слайда:

ПОСТАНОВКА ЗАДАЧИ Изучить понятие обфускации Изучить открытую проблему обфускации функциональных программ Изучить и модернизировать Алгоритм Ченгси-Ванга Создать программу-обфускатор, которая будет защищать код функционального языка программирования на примере языка SML

Слайд 4

Описание слайда:

ОБФУСКАЦИЯ ПРОГРАММ Обфускация - запутывание кода, затрудняющее анализ и понимание алгоритмов работы программы. Обфускатор – программа, выполняющая обфускацию. Три уровня обфускации : На уровне алгоритма Запутывание исходного кода Запутывание ассемблерного кода

Слайд 5

Описание слайда:

ЦЕЛИ ОБФУСКАЦИИ Затруднение декомпиляции и изучения программ с целью обнаружения функциональности. Затруднение декомпиляции проприетарных программ с целью предотвращения обратной разработки или обхода DRM и систем проверки лицензий. Оптимизация программы с целью уменьшения размера работающего кода.

Слайд 6

Описание слайда:

ОТКРЫТАЯ ПРОБЛЕМА С ОБФУСКАЦИЕЙ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ Нет аналогов

Слайд 7

Описание слайда:

ИСПОЛЬЗОВАНИЕ ФУНКЦИОНАЛЬНЫХ ЯЗЫКОВ Erlang - Facebook - бэкенд для чата Erlang - Серверное программное обеспечение WhatsApp R – Big data, Data Science Другие языки : F# (Microsoft), Haskell, SML

Слайд 8

Описание слайда:

АЛГОРИТМ ЧЕНГСИ-ВАНГА ДЛЯ ИМПЕРАТИВНЫХ ПРОГРАММ Создание графа потока управления этой процедуры Нумерация всех блоков в графе, и добавление в код процедуры переменной хранящей номер следующего выполняемого блока Приведение графа к однородному виду

Слайд 9

Описание слайда:

АЛГОРИТМ ЧЕНГСИ-ВАНГА ДЛЯ ИМПЕРАТИВНЫХ ПРОГРАММ: НАГЛЯДНО

Слайд 10

Описание слайда:

АЛГОРИТМ ЧЕНГСИ-ВАНГА ДЛЯ ИМПЕРАТИВНЫХ ПРОГРАММ: ПРИМЕР РАБОТЫ Входные данные: public class ExampleClass extends ArrayList { private static Integer instance = null; public static void main(String[] args) { hello(); world(); } private static void hello() { System.out.print("Hello "); } private static void world(){ System.out.print("World!!!"); } }

Слайд 11

Описание слайда:

МОДЕРНИЗАЦИЯ АЛГОРИТМА ЧЕНГСИ-ВАНГА : ОБЩАЯ ИДЕЯ

Слайд 12

Описание слайда:

ПРИМЕР РАБОТЫ МОДЕРНИЗИРОВАННОГО АЛГОРИТМА fun sort nil = nil | sort [x] = [x] | sort (h::t) = if h < hd(sort t) then (h::(sort t)) else (hd(sort t))::(sort (h::(tl(sort t))));

Слайд 13

Описание слайда:

ПРИМЕР РАБОТЫ ПРОГРАММЫ

Слайд 14

Описание слайда:

ПРИМЕР РАБОТЫ ПРОГРАММЫ

Слайд 15

Описание слайда:

ПРИМЕР РАБОТЫ ПРОГРАММЫ

Слайд 16

Описание слайда:

ЗАКЛЮЧЕНИЕ В ходе работы была рассмотрена такая актуальная в наш век тема, как защита информации. Было изучено понятие «обфускации». Рассмотрены виды этого понятия. Узнали открытую проблему и применение функциональных языков. Был модернизирован один из наиболее известных алгоритмов «защиты кода». В результате работы получилась простая программа-обфускатор, с помощью которой можно запутать код функционального языка программирования SML. Что означает возможность решения такой нелегкой проблемы, с которой сталкиваются ежедневно огромное количество работников IT-сферы.

Слайд 17

Описание слайда:

СПИСОК ЛИТЕРАТУРЫ Башкин В.А. Функциональное программирование на языке SML// метод. указания/ В.А. Башкин; Яросл. гос. ун-т. – Ярославль, ЯрГУ, 2007 г. Чернов, Л. В. Анализ запутывающих преобразований программ//Л.В. Чернов//Труды Института системного программирования РАН. Том 3, 2002 г. cтр. 7-38. Rollcs, R. Unpacking virtualization obfuscators/R. Rollcs.//In Proc. 3rd USENIX Workshop on Offensive Technologies (WOOT'09), August 2009. А.Ю.Тихонов, Л.И.Аветисян, В.А.Иадарян Методика извлечения алгоритма из бинарного кода на основе динамического анализа// Проблемы информационной безопасности. Компьютерные системы. — 2008. — Т. №3. — С. 66-71.