АЛГОРИТМЫ ГЕНЕРАЦИИ и ТЕСТИРОВАНИЯ СЛУЧАЙНЫХ и ПСЕВДОСЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ

Содержание

Слайд 2

ОСНОВНЫЕ ТЕМЫ ЛЕКЦИИ ОТЛИЧИЯ СЛУЧАЙНЫХ и ПСЕВДОСЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ВЫБОР ФИЗИЧЕСКИХ ДАТЧИКОВ

ОСНОВНЫЕ ТЕМЫ ЛЕКЦИИ

ОТЛИЧИЯ СЛУЧАЙНЫХ и ПСЕВДОСЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ
ВЫБОР ФИЗИЧЕСКИХ ДАТЧИКОВ ШУМА
БАЗОВАЯ

МОДЕЛЬ ГЕНЕРАТОРА СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ
ВЫРАВНИВАНИЕ ВЕРОЯТНОСТЕЙ ГЕНЕРИРУ-ЕМЫХ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ
МЕТОДЫ ПОВЫШЕНИЯ БЫСТРОДЕЙСТВИЯ ГЕНЕРАТОРОВ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬ-НОСТЕЙ
МЕТОДЫ ТЕСТИРОВАНИЯ СЛУЧАЙНЫХ И ПСЕВДОСЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ НА ОСНОВЕ МЕТОДИКИ FIPS 140-1.
Слайд 3

РЕАЛИЗАЦИЯ ПСЕВДОСЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ С помощью цифровых логических схем можно необычайно просто

РЕАЛИЗАЦИЯ ПСЕВДОСЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ

С помощью цифровых логических схем можно необычайно

просто генерировать последовательности бит с хорошими стохастическими свойствами, т.е. последовательности, которые будут обладать такими же вероятностными и корреляционными свойст-вами, какими обладает идеальная машина для подбрасывания монеты.
Поскольку эти последовательности генерируются стандартными элементами детерминированной логи-ки, получающиеся двоичные последовательности на самом деле являются предсказуемыми и повторяемы-ми (детерминированными), хотя любой фрагмент такой последовательности во всех отношениях выглядит, как случайное чередование «0» и «1».
Слайд 4

Наиболее известным (и самым простым) генератором ПСП является регистр сдвига с обратной связью

Наиболее известным (и самым простым) генератором ПСП является регистр сдвига с

обратной связью
Слайд 5

Последовательный регистр RG длиной «n» осуществляет сдвиг хранимого кода после каждого

Последовательный регистр RG длиной «n» осуществляет сдвиг хранимого кода после

каждого тактового импульса с частотой Fo. Входной сигнал первого триггера регистра – D1 формируется с помощью вентиля ИСКЛЮЧАЮЩЕЕ ИЛИ (сумма-тора по модулю 2), на входы которого поступают сигналы от m-того и последнего (n-того) разрядов регистра.
Такая схема проходит через множество состояний, которые после К тактов начинают повторяться, т.е. последовательность состояний является циклической с периодом К.
Слайд 6

Максимальное число возможных состояний n-разрядного регистра равно К=2n, т.е. числу n-битовых

Максимальное число возможных состояний n-разрядного регистра равно К=2n, т.е. числу

n-битовых двоичных комбинаций. Однако состояние «все нули» для этой схемы является тупиковым, поскольку на выходе схемы ИСКЛЮЧАЮЩЕЕ ИЛИ постоянно появляются нули, которые поступают на вход схемы и зацикливаются.
Если для формирования входного сигнала использовать элемент «ИСКЛЮЧАЮЩЕЕ ИЛИ» с инверсией, то «тупиковой» будет комбинация – «все единицы».
Таким образом, последовательность максималь-ной длины, которую может сформировать данная схема, содержит 2n-1 бит.
Слайд 7

При использовании 33-х разрядного регистра, работающего на частоте 1 МГц, время

При использовании 33-х разрядного регистра, работающего на частоте 1 МГц, время

цикла будет около 2-х часов. Время цикла 100 разрядного регистра, работающего на частоте 10 МГц, будет в миллион раз больше, чем возраст Вселенной.
Генераторы ПСП на сдвигающих регистрах можно использовать для шифрования сообщений и данных, поскольку идентичный генератор ПСП на приемном конце дает ключ к шифру.
ПСП широко используются в кодах, обнаруживаю-щих и исправляющих ошибки, так как они позволяют видоизменить блоки данных таким образом, что правильные кодовые сообщения будут находиться друг от друга на максимально возмож-ном «расстоянии Хэмминга» (измеряется числом позиций с разными данными).
Слайд 8

СВОЙСТВА ПСЕВДОСЛУЧАЙНЫХ ПОСЛЕ-ДОВАТЕЛЬНОСТЕЙ МАКСИМАЛЬНОЙ ДЛИНЫ В полном цикле число «1» на

  СВОЙСТВА ПСЕВДОСЛУЧАЙНЫХ ПОСЛЕ-ДОВАТЕЛЬНОСТЕЙ МАКСИМАЛЬНОЙ ДЛИНЫ

В полном цикле число «1»

на единицу больше, чем число «0». Добавочная «1» появляется за счет исключения состояния «все нули». При большом количестве разрядов регистра вероятности «0» и «1» практически равны (17-ти разрядный регистр будет вырабатывать 65536 «1» и 65535 «0» за один цикл);
В одном цикле половина серий из последовательных «1» имеет длину 1, одна четвертая серий – длину 2, одна восьмая – длину 3 и т.д. Таким же свойством обладают и серии из «0» с учетом пропущенного «0». Это говорит о том, что вероятности «0» и «1» не зависят от исхода предыдущего опыта, т.е. вероятность появления «0» или «1» в следу-ющем бите не зависит от значения предыдущего бита;
Слайд 9

Если последовательность полного цикла сравнить с этой же последовательностью, но циклически

Если последовательность полного цикла сравнить с этой же последовательностью, но циклически

сдвинутой на любое число битов (не равное нулю или длине К), то число несовпадений будет на единицу больше, чем число совпадений. Научно выражаясь, автокорреляционная функция этой последовательности представляет собой дельта-функцию Кронекера при нулевой задержке и равна величине 1/К при любой другой задержке.
Слайд 10

ОСНОВНЫЕ ОТЛИЧИЯ ПСЕВДОСЛУЧАЙНЫХ ЧИСЕЛ ОТ СЛУЧАЙНЫХ Псевдослучайные числа являются детерминиро-ванными, то

ОСНОВНЫЕ ОТЛИЧИЯ ПСЕВДОСЛУЧАЙНЫХ ЧИСЕЛ ОТ СЛУЧАЙНЫХ

Псевдослучайные числа являются детерминиро-ванными, то

есть предсказуемыми. Зная алгоритм формирования и начальное значение, можно предсказать все последующие числа наперед.
В новом эксперименте всегда можно повторить предыдущий эксперимент.
Псевдослучайные последовательности являются периодическими, через известные промежутки времени они будут точно повторяться.
Слайд 11

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

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

ключей, параметров и синхромаркеров используется генератор случайных последовательностей на основе ФИЗИЧЕСКИХ ДАТЧИКОВ ШУМА с наилучшими параметрами:

равновероятности,

независимости и

некоррелированности на сколь угодно длинном интервале.

Слайд 12

Простейшие физические датчики, реализованные на основе случайных механических перемещений: подбрасывание монеты,

Простейшие физические датчики, реализованные на основе случайных механических перемещений:

подбрасывание

монеты,

бросание «игральных костей»,

наблюдения броуновского движения и др.

обладают недостаточным быстродействием и требуют для своей реализации оптические устройства ввода результатов опытов в ЭВМ.

Слайд 13

Основные датчики шума Критерии выбора ∙полоса частот случайного сигнала; ∙выходное напряжение

Основные датчики шума

Критерии выбора

∙полоса частот случайного сигнала;
∙выходное напряжение (ам-плитуда шума);
∙ потребляемая

мощность;
∙ напряжение питания;
∙массогабаритные парамет-ры;
∙ надежность работы при из-менении условий эксплу-атации;
∙экономические показатели (стоимость).

Резисторы
P-n-переходы
Диоды с Зенеров-ским пробоем
Электр. лампы
Газоразрядные лампы
ФЭУ
Счетчики радиоактивности

Слайд 14

На рис. приведена базовая схема генера-тора случайных последовательностей на основе физического

На рис. приведена базовая схема генера-тора случайных последовательностей на основе

физического датчика – диода с Зенеровским пробоем.
Слайд 15

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

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

есть параллельной работой нескольких каналов.

Выходные равновероятные случайные логи-ческие сигналы всех каналов объединяются схемой «ИСКЛЮЧАЮЩЕЕ ИЛИ» (схемой суммирования по модулю 2) и считываются в сдвигающий регистр с частотой Fo

Слайд 16

Горячее резервирование генераторов случайных последовательностей

Горячее резервирование генераторов случайных последовательностей

Слайд 17

Слайд 18

ВЫРАВНИВАНИЕ ВЕРОЯТНОСТЕЙ ГЕНЕРИРУЕМЫХ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ Этот алгоритм позволяет значительно уменьшить разность

ВЫРАВНИВАНИЕ ВЕРОЯТНОСТЕЙ ГЕНЕРИРУЕМЫХ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ

Этот алгоритм позволяет значительно уменьшить разность вероятностей

генериру-емых случайных битов.

Для этого из двух последовательных случайных битов формируется их логическая функция «ИСКЛЮЧАЮЩЕЕ ИЛИ».

Вероятность единичного формируемого бита на входе регистра RG1 обозначим Р(1), а вероятность нулевого – Р(0) = Р(1) + Δ.

Слайд 19

Схема выравнивания вероятностей «Дельта-квадрат»

Схема выравнивания вероятностей «Дельта-квадрат»

Слайд 20

Все комбинации битов на выходе проме-жуточного регистра RG1 и вероятности этих

Все комбинации битов на выходе проме-жуточного регистра RG1 и вероятности

этих комбинаций (с учетом полной статистической независимости генерируемых соседних слу-чайных битов) приведены в таблице:
Слайд 21

На выходе схемы «ИСКЛЮЧАЮШЕЕ ИЛИ» формируется логический нуль при комби-нациях, соответствующих

На выходе схемы «ИСКЛЮЧАЮШЕЕ ИЛИ» формируется логический нуль при комби-нациях, соответствующих

первой и последней строкам таблицы:

P(0)' = [ Р(1) + Δ ] * [ Р(1) + Δ ] + P(1) * P(1).

Логической единице на выходе схемы «ИСКЛЮЧАЮЩЕЕ ИЛИ» будут соответ-ствовать две средние строки в таблице:

P(1)' = [ P(1) + Δ ] * P(1) + P(1) * [ P(1) + Δ ].

Разность вероятностей на выходе схемы «ИСКЛЮЧАЮЩЕЕ ИЛИ» Δ' равна:

Δ' = P(0)' - P(1)' = Δ2.

Слайд 22

МЕТОДЫ ПОВЫШЕНИЯ БЫСТРОДЕЙСТВИЯ ГЕНЕРАТОРОВ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ Объединение двух или более независимых

МЕТОДЫ ПОВЫШЕНИЯ БЫСТРОДЕЙСТВИЯ ГЕНЕРАТОРОВ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ

Объединение двух или более независимых случайных

процессов логическим элементом «ИСКЛЮЧАЮЩЕЕ ИЛИ».
Записывать в параллельный регистр RG2 результат выполнения операций «ИСКЛЮ-ЧАЮЩЕЕ ИЛИ» над сигналами с первой и второй половины сдвигающего регистра RG1 с перестановкой выходных сигналов
Слайд 23

МЕТОДЫ ТЕСТИРОВАНИЯ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ НА ОСНОВЕ МЕТОДИКИ FIPS 140-1. Генераторы случайных

МЕТОДЫ ТЕСТИРОВАНИЯ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ НА ОСНОВЕ МЕТОДИКИ FIPS 140-1.

Генераторы случайных битовых

последователь-ностей, реализованные на физических источниках случайности, подвергнуты влиянию внешних факторов, а также сбоям.
Поэтому такие устройства периодически необходимо тестировать, например, с помощью статистических тестов.
Слайд 24

В этих тестах для удовлетворительных значений статистических параметров задаются границы. Если

В этих тестах для удовлетворительных значений статистических параметров задаются границы.


Если какой-нибудь из тестов не пройден, то считается, что генератор (или последова-тельность) не прошел тестирование.

В американском федеральном стандарте FIPS 140-1 используются четыре статистических теста на случайность:

монобитный тест,
блочный тест,
тест серий и
тест длин серий.

Слайд 25

Но в некоторых случаях тестирование случайных последовательностей необходимо производить в аппаратном

Но в некоторых случаях тестирование случайных последовательностей необходимо производить в аппаратном

модуле генерации случайных чисел (ГСЧ) до ввода в ПЭВМ.
Для этих целей обычно применяют одно-кристальные микро-ЭВМ (ОМЭВМ) – микроконтроллеры (МК).

Алгоритм тестирования FIPS 140-1 может быть реализован на программном уровне после ввода последовательности s – 20000 случайных бит в ПЭВМ.

Слайд 26

Вопросы для экспресс-контроля Назовите основные отличия случайных последовательностей от псевдослучайных. Назовите

Вопросы для экспресс-контроля

Назовите основные отличия случайных последовательностей от псевдослучайных.
Назовите методы генерации

псевдослучайных последовательностей.
Назовите основные источники физического шума для генерации случайных последовательностей.
Перечислите основные тесты американского стандарта тестирования случайных последователь-ностей FIPS 140-1.
Назовите методы выравнивания вероятностей случайных битовых последовательностей.