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

brief description

Смышляев Станислав Витальевич Математические методы обоснования оценок уровня информационной безопасности программных средств защиты информации, функционирующих в слабодоверенном окружении
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
доктор наук Смышляев Станислав Витальевич
Введение

Обозначения, определения и общие сведения

Глава 1. Методы обеспечения защиты информации в условиях применения ненадежных источников случайности

1.1. Вспомогательные кодирующие устройства, сохраняющие равновероятность случайной последовательности при произвольном выборе точек съема

1.2. Вспомогательные кодирующие устройства, сохраняющие равновероятность случайной последовательности при фиксированном выборе точек съема

1.3. Математические модели и методы обеспечения защиты от уязвимостей источников случайности с применением доверенных средств электронной подписи

1.4. Методы вычисления электронной подписи в условиях применения ненадежных источников случайности

Глава 2. Методы обеспечения защиты информации в условиях возможности частичной компрометации внутренних данных

2.1. Математические модели и методы построения механизмов преобразования сессионных векторов защиты

2.2. Методы рандомизации механизмов вычисления сессионных векторов в условиях слабодоверенного окружения

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

Глава 3. Методы обеспечения защиты информации в отсутствие высокоэнтропийных хранимых секретов

3.1. Методы обеспечения аутентифицированного дистанционного взаимодействия с серверными средствами защиты информации

3.2. Методы построения механизмов проверки аутентичности данных с малой длиной проверочных векторов

3.3. Математические модели и методы обеспечения защиты аутен-тифицированных соединений в условиях отсутствия высокоэнтропийных хранимых секретов

Заключение

Список основных обозначений

Список литературы

Приложение

Доказательство Теоремы

Стойкость функции НМАС

Доказательство Леммы

Вычисление кратных точек

Распределение выхода функции двухпроходной децимализации 569 Оценки для схем подписи с уменьшенной длиной выхода