Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов

^ Способ сотворения обфускатора с редактируемым методом обфускации В. И. Глова, И. В. Аникин, А. Р. Абзалов Казанский муниципальный технический институт им. А. Н. Туполева
Заказчики программного обеспечения (ПО) часто требуют от программера Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов вкупе с исполняемым программным модулем предоставлять и начальный код программки. В данной ситуации программер никак не может быть уверен в том, что предоставленный код не будет в предстоящем модифицироваться и употребляться в Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов других продуктах. Появляется необходимость в разработке способов преобразования начальных текстов программ, которые позволят или затруднить внесение конфигураций в эти тексты, или определять создателя программки по начальному коду. И в том, и в другом случаях Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов для преобразования начального кода могут применяться способы обфускации.

Обфусцированной (англ. obfuscated – запутанной) именуется программка, которая на всех входных данных, допустимых для начальной программки, выдаёт тот же самый итог, что и уникальная программка Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов, но более трудна для анализа, осознания и модификации. Запутанная программка выходит в итоге внедрения к начальной незапутанной программке запутывающих преобразований (obfuscating transformations) [1].

Обфускатором будем именовать программку, осуществляющую запутывающие преобразования.

В работе [3] подтверждено, что Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов универсального обфускатора не существует, другими словами нельзя с помощью 1-го метода отлично запутать всякую программку. Это означает, что для каждой раздельно взятой программки либо группы похожих программ необходимо использовать Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов особый метод. Но написание для каждой программки отдельного обфускатора является очень трудозатратной задачей. В этих критериях еще удобнее было бы не создавать отдельный обфускатор для каждой отдельной программки, а только обрисовывать метод обфускации по заблаговременно Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов определенным правилам. Таким макаром, животрепещущей является разработка обфускатора с редактируемым методом на базе предложенного способа.

Запутывающие преобразования можно поделить на несколько групп зависимо от того, на трансформацию какой из компонент программки Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов они нацелены [1].

Раздельно взятое запутывающее преобразование будем именовать единичным преобразованием (ЕП). Естественно, что при обфускации применяется не одно ЕП, а их композиция, при этом, если считать, что все вероятные ЕП Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов заблаговременно известны, то методы обфускации можно обрисовывать как последовательность внедрения ЕП.

Сущность предлагаемого способа состоит в последующем (см. рис.). В файле 1.1 хранятся описания ЕП. Под описанием ЕП предполагается список структур языка программирования Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов применяемых в рамках данного ЕП и формат записи этих структур. Дальше в файле 1.2 определяется порядок внедрения ЕП, обрисованных в файле 1.1. Исполняемый модуль обфускатора не хранит внутри себя логику преобразования начальных кодов Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов, вся логика хранится в паре файлов 1.1 и 1.2. Разумеется, что для внедрения нового метода не надо создавать новый обфускатор, также необязательно вновь обрисовывать ЕП, почти всегда будет довольно только поменять порядок их Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов внедрения. Изменив список ЕП и порядок их внедрения, мы получаем новый метод обфускации, не изменяя исполняемый модуль обфускатора.




Рис. Схема функционирования обфускатора с редактируемым методом обфускации


Еще одним бесспорным преимуществом такового подхода, не считая простоты конфигурации Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов и прибавления новых алгоритмов обфускации, является тот факт, что в файлах описания ЕП можно обрисовывать структуры хоть какого языка программирования, другими словами, чтоб применить метод обфускации, созданный для языка Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов С++, к программке, написанной на языке Паскаль, нет необходимости изменять исполняемый модуль обфускатора, довольно только поменять описание структур языка в файле с описанием ЕП.

Таким макаром, разработанный способ сотворения обфускатора с редактируемым методом обфускации Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов обеспечивает действенное преобразование начальных текстов программ, позволяя затруднить внесение конфигураций в текст программки и найти её создателя по начальному коду.
Литература
1. Чернов А. В. Анализ запутывающих преобразований программ// Труды Института системного Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов программирования РАН, 2003.

2. Collberg C., Thomborson C., Low D. A Taxonomy of Obfuscating Transformations. Department of Computer Science, The University of Auckland, 1997.

3. Barak B., Goldreich O., Impagliazzo R., Rudich S., Sahai A Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов., Vadhan S., Yang K. On the (Im)possibility of Obfuscating Programs. LNCS, 2001


^ Организация процесса оптимизации проектирования сетей передачи данных на базе генератора имитационных моделей В. М. Гостев Казанский муниципальный институт
Сеть передачи Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов данных (СПД) представляет собой аппаратно-программное ядро хоть какой территориальной компьютерной сети (глобальной, региональной, корпоративной). Базу СПД образуют узлы коммутации (УК), соединяемые меж собой магистральными каналами передачи данных (КПД). УК производят управление процессами передачи потоков Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов данных меж абонентами СПД (локальными сетями, отдельными компьютерами) и реализуются обычно на базе высокопроизводительных многопротокольных маршрутизаторов. Магистральные КПД создаются на базе каналов цифровых систем связи.

Общая неувязка рационального проектирования СПД ТКС формулируется Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов последующим образом.

Заданы (известны):

– места вероятного размещения УК (маршрутизаторов);

– количество и значительные свойства абонентов СПД (в том числе локальных и корпоративных сетей), подключаемых к каждому УК;

– примерная (ожидаемая) интенсивность Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов трафика меж УК;

– доступная номенклатура аппаратных средств (маршрутизаторы, модемы, адаптеры и т. д.) и их технические свойства;

– доступные каналы связи меж вероятными пт размещения УК и их свойства.

Нужно найти:

– количество узлов коммутации Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов СПД и места их размещения;

– совокупность протоколов, которые будут поддерживаться в СПД, также, если это нужно, характеристики протоколов (а именно, размер пакетов);

– тип и модель маршрутизатора, размещаемого в каждом УК;

– топологию СПД (т Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов. е. какие узлы коммутации будут конкретно соединены каналами передачи данных из числа доступных);

– тип и характеристики каждого канала передачи данных и аппаратуры, устанавливаемой на нем, определяющие его стоимостные свойства и пропускную способность Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов;

– основные маршруты передачи данных меж узлами СПД.

Главные аспекты оценки проекта СПД:

– стоимостные свойства, включающие серьезные издержки на оборудование узлов коммутации и линий связи, также подключение либо прокладку линий связи Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов, и эксплуатационные расходы (цена аренды каналов связи); в качестве интегральной свойства может быть взята приведенная цена;

– ожидаемые временные свойства передачи данных по сети – среднее и наибольшее время задержки сообщений и пакетов в СПД, определяющее время Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов реакции (обслуживания запросов абонентов).

Таким макаром, неувязка проектирования СПД является многокритериальной неувязкой, для которой свойственны полный нрав, противоречивость и нехорошая формализуемость совокупы требований, предъявляемых к СПД. Для решения таковой сложной Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов трудности нужны способы и средства проектирования, которые позволяли бы проводить оптимизацию проекта при учете (очень вероятном в реальных ситуациях) всех важных критериев оценки свойства проектируемой сети, всех главных особенностей современных компьютерных сетей и Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов требований, предъявляемых к ним (в том числе – бессчетных плохо формализуемых требований), которые давали бы возможность учесть и использовать все особенности и условия реализации определенного проекта. Все это безизбежно приводит к необходимости Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов использования в процессе выработки проектных решений человеко-машинных технологий оптимизации проектирования.

Для реализации соответственных технологий на базе концепции систем поддержки выработки решений [1] разработана архитектура системы оптимизации проектирования (СОПР) СПД. Определены структура и Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов состав математического и программного обеспечения СОПР, включающие способы решения задач анализа и оптимизации проектирования СПД (как известные, так и разработанные специально).

Система позволяет решать задачки структурно-топологического и параметрического проектирования СПД, проводить Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов расчеты и оценки характеристик проектируемых сетей на базе использования их моделей, сопоставление разных проектных решений и оценку их эффективности, оптимизацию проектных решений по аспектам цены, надежности, производительности и величин временных задержек. Система Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов обеспечивает проведение многоэтапного человеко-машинного проектирования с возможностью повторного выполнения отдельных шагов и задач с целью корректировки, уточнения и оптимизации ранее принятых проектных решений, также реализацию разных по степени трудности других способов проектирования Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов [2].

Принципиальным компонентом СОПР является подсистема оценки свойства и эффективности функционирования (ОКЭФ), позволяющая оценить временные свойства проектируемой СПД (средние и наибольшие задержки пакетов), выявить «слабые места» того либо другого варианта сети. Для таковой Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов оценки употребляются имитационные модели процессов передачи данных в СПД.

Целью разработки имитационных моделей процессов передачи инфы являются экспериментальное исследование эффективности и выбор хороших характеристик СПД, потому эти модели должны владеть довольно высочайшей чувствительностью Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов к изменениям топологии, маршрутов, пропускных возможностей УК и КПД, размеров пакетов. Модели должны довольно точно и много отражать изменяющиеся условия функционирования СПД (конфигурации структуры наружных потоков, выход из строя отдельных частей Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов СПД).

Выходные свойства, получаемые в итоге тестов с имитационной моделью, определяются, во-1-х, принятым аспектом оценки эффективности СПД, во-2-х, необходимостью получить довольно полную информацию об главных свойствах процессов обмена информацией Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов в сети и о свойствах главных частей сети. Потому выходными чертами, получаемыми в итоге имитационного опыта, являются среднее время задержки пакетов, стандартное отклонение от среднего времени задержки пакетов, функции рассредотачивания времени Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов задержки пакетов, количество пакетов, обработанных каждым УК, количество пакетов, переданных по каждому КПД, средние длины очередей и средние значения времени ожидания в буферах перед микропроцессорами в каждом УК, свойства загрузки КПД и микропроцессоров УК сети Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов.

В машинной модели имитируются только те функции УК, которые отражают методы маршрутизации и главные функции управления сетевого протокола: формирование очередей пакетов, анализ заголовка пакета, имитация обслуживания, выбор исходящего направления передачи Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов пакета в согласовании с процедурой маршрутизации и т. д. При всем этом учитывается задержка пакета на время, нужное для выполнения этих операций.

В модели не имитируются четкая структура источников данных и процессы Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов их функционирования, а только фиксируются факты поступления пользовательских сообщений с данной интенсивностью и законом рассредотачивания интервалов меж сообщениями, при этом предусматривается возможность генерации потоков меж всеми парами УК с разными чертами.

В Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов СОПР имитационные модели СПД строятся автоматом при помощи специального генератора, входящего в состав подсистемы ОКЭФ. На вход генератора поступает описание варианта СПД, сделанного проектировщиком на прошлых шагах (структурно-топологическое проектирование, выбор Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов маршрутов, выбор пропускных возможностей УК и КПД). На базе анализа характеристик варианта генератор сформировывает модель на языке GPSS. В процессе автоматической генерации употребляются библиотеки, содержащие модели отдельных многофункциональных модулей узлов коммутации (микропроцессоры, порты, буферы Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов и т. д.) и каналов передачи данных. Приобретенная модель передается на вход интерпретатора GPSS.

По результатам моделирования проектировщик может скорректировать вариант проекта СПД (поменять топологию, маршруты, пропускные возможности УК и КПД, размеры Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов пакетов) и повторить шаг имитационного моделирования, используя средства подсистемы ОКЭФ.

Предложенный полный подход к моделированию позволяет в рамках одного процесса проектирования СПД использовать достоинства аналитических (на шагах формирования и корректировки проекта) и Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов имитационных (на шаге оценки свойства и эффективности приобретенного проекта) моделей. Внедрение аналитических моделей позволяет относительно стремительно сформировать полный вариант проекта СПД с внедрением алгоритмов оптимизации различного уровня трудности. Но скорость Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов работы этих алгоритмов достигается, обычно, за счет таких упрощающих догадок, как непрерывное рассредотачивание длин передаваемых сообщений (и, как следует, непрерывное рассредотачивание времени обработки сообщений в узлах коммутации и каналах передачи данных), независимость длин сообщений Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов, абсолютная надежность частей СПД и т. д. Внедрение имитационных моделей просит значительно огромных издержек машинного времени для получения результатов, но позволяет отрешиться от этих упрощений и получить более четкие оценки черт СПД по Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов сопоставлению с аналитическими моделями.
Литература
1. Хабибуллин Р. Ф. О концептуальных основах и архитектуре систем поддержки выработки решений // Исследования по информатике: Ин-т заморочек информатики АН РТ. – Казань, 1999. – С. 121–144.

2. Гостев В. М., Хабибуллин Метод создания обфускатора с редактируемым алгоритмом обфускации - Тезисы докладов Р. Ф. Технологии оптимизации проектирования сетей передачи данных территориальных компьютерных сетей // Исследования по информатике: Ин-т заморочек информатики АН РТ. – Казань, 1999. – С. 157–174.



metod-voskresheniya-starih-snov.html
metod-vzveshennoj-skolzyashej-srednej.html
metod-zhilishnogo-prava-principi-zhilishnogo-prava.html