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

Категория: Устройства и комплектующие
Нажмите для полного просмотра!
Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №1Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №2Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №3Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №4Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №5Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №6Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №7Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №8Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №9Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №10Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №11Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №12Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №13Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №14Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №15Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №16Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №17Применение метода Ченгси-Ванга для обфускации функциональных языков, слайд №18
Скачать
Вы можете ознакомиться и скачать презентацию на тему Применение метода Ченгси-Ванга для обфускации функциональных языков. Доклад-сообщение содержит 18 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1


ПРИМЕНЕНИЕ МЕТОДА ЧЕНГСИ-ВАНГА ДЛЯ ОБФУСКАЦИИ ФУНКЦИОНАЛЬНЫХ ЯЗЫКОВ СТУДЕНТ: МАРТЬЯНОВ В.Д. ГРУППА: ИТ-41 БО НАУЧНЫЙ РУКОВОДИТЕЛЬ: БАШКИН В.А.
Описание слайда:
ПРИМЕНЕНИЕ МЕТОДА ЧЕНГСИ-ВАНГА ДЛЯ ОБФУСКАЦИИ ФУНКЦИОНАЛЬНЫХ ЯЗЫКОВ СТУДЕНТ: МАРТЬЯНОВ В.Д. ГРУППА: ИТ-41 БО НАУЧНЫЙ РУКОВОДИТЕЛЬ: БАШКИН В.А.

Слайд 2


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

Слайд 3


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

Слайд 4


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

Слайд 5


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

Слайд 6


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

Слайд 7


ИСПОЛЬЗОВАНИЕ ФУНКЦИОНАЛЬНЫХ ЯЗЫКОВ Erlang - Facebook - бэкенд для чата Erlang - Серверное программное обеспечение WhatsApp R – Big data, Data Science Другие языки : F# (Microsoft), Haskell, SML
Описание слайда:
ИСПОЛЬЗОВАНИЕ ФУНКЦИОНАЛЬНЫХ ЯЗЫКОВ 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!!!"); } }
Описание слайда:
АЛГОРИТМ ЧЕНГСИ-ВАНГА ДЛЯ ИМПЕРАТИВНЫХ ПРОГРАММ: ПРИМЕР РАБОТЫ Входные данные: 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))));
Описание слайда:
ПРИМЕР РАБОТЫ МОДЕРНИЗИРОВАННОГО АЛГОРИТМА 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-сферы.
Описание слайда:
ЗАКЛЮЧЕНИЕ В ходе работы была рассмотрена такая актуальная в наш век тема, как защита информации. Было изучено понятие «обфускации». Рассмотрены виды этого понятия. Узнали открытую проблему и применение функциональных языков. Был модернизирован один из наиболее известных алгоритмов «защиты кода». В результате работы получилась простая программа-обфускатор, с помощью которой можно запутать код функционального языка программирования 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.
Описание слайда:
СПИСОК ЛИТЕРАТУРЫ Башкин В.А. Функциональное программирование на языке 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.

Слайд 18


СПАСИБО ЗА ВНИМАНИЕ .
Описание слайда:
СПАСИБО ЗА ВНИМАНИЕ .

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию