Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм

Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм

Автор: Рожков, Михаил Иванович

Шифр специальности: 05.13.19

Научная степень: Докторская

Год защиты: 2012

Место защиты: Москва

Количество страниц: 265 с.

Артикул: 5091011

Автор: Рожков, Михаил Иванович

Стоимость: 250 руб.

Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм  Алгоритмические вопросы идентификации конечных автоматов по распределению выходных m-грамм 

Введение
Глава 1. Суммирование цепей Маркова на конечной группе
1.1. Постановка задачи и вводные замечания
1.2. Случай произвольной конечной 1руппы
у 1.3. Случай произвольной абелевой группы
1.4. Случай элементарной абелевой 2группы
6 1.5. Случай циклической группы т
1.6. Свойства частичных сумм заданного множества цепей
Маркова
1.7. Устойчивые цепи Маркова
1.8. Случай группы четвертого порядка
1.9. Случай циклической группы Ср, р простое нечетное
число, и рациональности матриц переходных вероятностей
1 О существовании вероятностных элементов специального
вида в групповом кольце
1 О сложности проверки марковости сумм цепей Маркова
на произвольной конечной абелевой группе
Глава 2. Идентификация фильтрующих функций по частотам
выходных Бграмм
2.1. Общие условия статистической неотличимости фильтрующих
функций
2.2. Основные результаты относительно условий
неотличимости фильтрующих функций
у 2.3. Оценки мощности и числа классов статистической
неотличимости
2.4. Упрощенные обозначения и формулировки полученных ранее результатов для
случаев равновероятного входа и двоичного выхода . 3
3 2.5. Вопросы классификации автоматов ХД по выборке с
фиксированным шагом из выходной последовательности
5 2.6. Классификация автоматов 1Х,ХП,Р2 относительно распределения тиграми
в выборке с шагом п1 из выходной последовательности 5
2.7. Общие алгоритмы проверки неотличимости заданной пары автоматов
ЩХХ2 и КфрСДМУ
3 2.8. Алгоритмы проверки равновероятности выходных шграмм заданного
автомата ИХ ДП,Р2 при равновероятном входе
3 2.9. Алгоритмы для случая, когда функция равна сумме двух функций
от непересекающихся наборов переменных
3 2 Оценка числа и мощности классов эквивалентности для общего случая
функций, заданных на переходах цепи Маркова
Глава 3. О некоторых классах нелинейных регистров сдвига,
обладающих одинаковой цикловой структурой
3 3.1. Условия биективности отображений специального вида
3 3.2. Случай поля ОР2
3 3.3. Оценки мощности классов эквивалентных функций
3 3.4. Наиболее мощные классы эквивалентности и обобщенные композиции
функций
3 3.5. Ортогональные системы двоичных функций, построенные с
использованием нелинейной функции и линейного регистра сдвига.
Заключение 0
Библиографический список Приложение
ОБОЗНАЧЕНИЯ
При изложении результатов диссертации будем использовать следующие
обозначения
, конечная аддитивная группа
поле действительных или рациональных чисел
групповая алгебра группы над полем
xx кольцо многочленов над полем по модулю x
кольцо целых чисел
ап число а является делителем числа п
кольцо вычетов целых чисел по модулю ш
НОДа,Ьа,Ь наибольший общий делитель чисел многочленов а и Ь
Н.О.К.а,Ь наименьшее общее кратное чисел многочленов а и Ь
2 векторное пространство размерности п над полем из двух элементов
,
М мощность конечного множества М
X декартово произведение экземпляров множества X
а абсолютная величина комплексного числа а
а комплексно сопряженное число к числу а i знак целого числа 0.
Нумерация формул и утверждений содержит три позиции, отделенные точками номер
главы, номер параграфа в главе, номер формулы или утверждения в параграфе.
Введение
Важным элементом систем защиты информации являются генераторы случайных
последовательностей ГСП. Они используются для решения следующих задач
выработка маскирующих последовательностей при хранении и передаче информации
формирование ключевой информации
формирование случайных последовательностей запросов в алгоритмах
аутентификации, электронной подписи, выработки общего секретного ключа
внесение неопределенности в работу аппаратнопрограммных средств защиты с
целью закрытия побочных каналов утечки информации
внесение неопределенности в работу систем защиты при реализации концепции
вероятностного шифрования.
Во многих случаях при построении ГСП с целью обеспечения необходимой скорости
функционирования к ним предъявляются требования по простоте технической
реализации. Особенно данное требование важно для ГСП, предназначенных для
реализации на микропроцессорах интеллектуальных карт, обладающих сравнительно
ограниченными вычислительными возможностями см., например,7.
Широко использующийся в практических приложениях каскадный метод построения
ГСП заключается в выработке результирующих последовательностей из исходных
последовательностей с помощью некоторых автоматных преобразований узлов
усложнения. При этом исходные последовательности, как правило, не обладают
всеми необходимыми требованиями на случайность непредсказуемость других
знаков выхода при известной их части и вырабатываются либо физическими
программноаппаратными датчиками случайных чисел, либо исходными автоматами
как правило, линейными для гарантирования большого периода. Роль узлов
усложнения заключается
в получении результирующих последовательностей, обладающих улучшенными
теоретиковероятностными характеристиками по сравнению с исходными
последовательностями
в усложнении аналитических связей между исходными и результирующими
последовательностями.
При необходимости в схеме ГСП может использоваться несколько последовательных
узлов усложнения.
Таким образом, при использовании каскадного принципа построения ГСП важной
задачей является исследование вероятностных характеристик выходных
последовательностей, образуемых из исходных последовательностей с заданными
вероятностными свойствами с помощью узлов усложнения.
Важными для практических приложений являются случаи, когда исходные
последовательности являются
последовательностями независимых случайных величин
последовательностями случайных величин, связанных простой однородной цепью
Маркова
последовательностями, вырабатываемыми регистрами сдвига.
В качестве узлов усложнения широко используются узлы суммирования, нелинейные
регистры сдвига, фильтрующие генераторы. При этом с точки зрения простоты
реализации особенно на микропроцессорах интеллектуальных карт особый интерес
представляют такого автоматы с малым числом состояний.
Актуальность


Содержание стр. Глава 1. Глава 2. Глава 3. Н.О. ГСП. ГСП. Бграмм, а также получение оценок неоднозначности идентификации. Маркова. Бграмм. Получение оценок для числа и мощности классов эквивалентности. Чр0Ь, ЬбО, ,2,,3. Г У1,У2,, У Г1. Маркова на группе в. При этом рассматривается и обратная задача нахождения матриц
переходных вероятностей я по заданной матрице я, т. Маркова Г в сумму составляющих цепей Г0. Н.Н. Воробьева 6, Ю. Н.Горчинского , Б. В.Рязанова , Г. В.И. Шерстнева и других. Узлы суммирования широко используются в схемах ГСП. С этой точки зрения особый интерес представляют устойчивые цепи Маркова. Маркова. В.К. Захарова и О. В.Сарманова , и работах других авторов см. При этом В. О.В. А.П. Гермогеновым и А. Н.Бешкаревым. Н.Н. Ю.Н. Маркова. Маркова теорема 1. С и э вычислительной сложностью. У Х,Х1,. Хпн I 1,2,. Х,х2. Б.А. Севастьянова , В. А.Е. Жукова , В. П.Чистякова , С. Н.Сумарокова , О. С.В. Смышляева, В. В.Ященко , и других авторов. К,Х,ХП,С. Глава 2 состоит из десяти параграфов. В 2. Ь п. В 29 разработаны детерминированные алгоритмы 2. При этом алгоритм 2. Применительно к двоичным автоматам К. Алгоритмы 2. ГГ1Х1,Х2,. ХпГ2хпч. Хп2,. Сложность реализации алгоритмов 2. Кроме того, для данного класса автоматов ЯК,2 в теоремах 2. Ьграмм равносильна статистической неотличимости автоматов. В 2. Глава 3 состоит из пяти параграфов. Я.0К. НУ ьУ2, УпУ2,Уз ,Уп Д У1 У2, Уп. П или 2п1. Ргп1. П бит. Крр2р2п,Р2 при всех ш1,2,. В 3. ИГ,6ьххДх,. ЬЦхьх2,. ЬЬо, Ье0,1, Ь 1 1, действующее на вектор
ХХ,Х2 хеН2п по правилу 5ьх,,х2 хх2,х3, . Цхьх2,. Ф изоморфно преобразованию 5ь т. АЗьА 8,. А5ь. Л тп, называется ортогональной, если при любых двоичных ЛД2,. Р2п. ХгШТЫ, Д. ЛД2,. ОТ трех переменных ГХьХ2,. ХпГХ1,Х2,Хз и
соответствующих аффинных функций ЬХ1,Х2,. ХПХ1ЬХ1Ьо, при
которых система булевых функций УьУ2,. Маркова. Маркова. ГСП такого типа изложены в работе . Компьютерная безопасность. Академии криптографии РФ, Математического института РАН, МГУ им. М.В. Ломоносова, НИИ Автоматики и опубликованы в научных работах. Маркова СМ. Основные результаты получены для абелевых групп. Маркова. Маркова в сумму э2 составляющих цепей. УьУ2. Г т. Маркова т. Г в сумму составляющих цепей Г1. Маркова. Маркова. Воробьевым 6. Маркова. Маркова приводит к равновероятной результирующей последовательности. Маркова. В.К. Захаровым и О. А.П. Гермогеновым и А. Н.Бешкаревым. Маркова теорема 1. Маркова. Изоморфизм задается, например, соответствием
р. Рь. Ив, о чем говорит следующее утверждение. Теорема 1. П Р П Р0Ы .

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.198, запросов: 244