3.Система баз данных картографии с ассоциативной защитой

Балыкин, Киселев

ПЕРЕЧЕНЬ ИСПОЛЬЗУЕМЫХ СОКРАЩЕНИЙ.

ВВЕДЕНИЕ.

ГЛАВА 1. ИСХОДНЫЕ ПОСЫЛКИ И ОГРАНИЧЕНИЕ ПРЕДМЕТА ИССЛЕДОВАНИЙ.

1.1. Данные картографии.

1.2. Анализ современного состояния исследований по защищенным картографическим СУБД.

1.3. Ограничение предмета исследований.

1.4. Выводы.

ГЛАВА 2. ФОРМИРОВАНИЕ СТЕГОКОНТЕЙНЕРА, СТЕГОПАРАМЕТРЫ.

2.1. Алгоритм формирования стегоконтейнера.

2.2. Оптимизация значений стегопараметров по критерию быстродействия.

2.3. Оценка эффективности ассоциативного метода сокрытия в сравнении с ГОСТ 28147-89.

ГЛАВА 3. ПРИНЯТАЯ СХЕМА ЗБДК И ОРГАНИЗАЦИЯ ОБРАБОТКИ ЗАПРОСОВ НА НИЖНЕМ УРОВНЕ СИСТЕМЫ.

3.1. Схема и принципы формирования ЗБДК.

3.2. Локальная обработка запросов без раскрытия защищенной базы данных картографии в целом.

3.3. Интерпретация пользовательских запросов.

4.Математические модели и средства программной поддержки поиска оптимальных стратегий кэширования в операционных системах и системах с базами данных

Егорцев, Мигик

Введение.

Глава 1. Подсистема ввода/вывода ЭВМ и ее производительность.

1.1 Диск. Геометрия диска.

1.2 Способы повышения производительности ввода/вывода.

1.2.1 Кэширование.

1.2.2 Последовательный доступ.

1.2.3 Асинхронный обмен.

1.2.4 Параллелизм.

1.3 Обзор литературы.

1.4 Исторические аспекты и коммерческие продукты.

1.5 Выбор направления исследования. Постановка и систематизация задач исследования.

Глава 2. Классические стратегии кэширования: построение и анализ.

2.1 Алгоритмы замещения и сравнительный анализ эффективности.

2.1.1 Детерминированные алгоритмы замещения.

2.1.2 Сравнительный анализ эффективности алгоритмов замещения.

2.1.3 Маркирующие алгоритмы.

2.1.4 Рандомизированные алгоритмы замещения.

2.2 Методика оценки коэффициентов сравнительной эффективности алгоритмов замещения.

2.2.1 Метод потенциальных функций.

2.2.2 Минимаксный принцип Yao.

2.3 Имитационное моделирование стратегий замещений.

Глава 3. Организация эффективного ввода/вывода и оптимального кэш-менеджмента.

3.1 Обозначения, определения и допущения.

3.2 Математические модели оптимальной декомпозиции файлов данных по дискам.

3.2.1 Модели декомпозиции файлов с запретом их дублирования.

3.2.2 Модели декомпозиции файлов с возможностью их дублирования.

3.2.3 Метод ветвей и границ как один из алгоритмов решения задач оптимальной декомпозиции файлов.

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

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

3.4.1 Последовательный обмен с дисками.

3.4.2 Параллельный обмен с дисками.

3.4.3 Решение задач оптимального кэширования и упреждения.

3.5 Математическое обеспечение прогнозирования модулей оптимизации размеров кэш-блоков.

3.5.1 Временные ряды: анализ и прогноз.

3.5.2 Алгоритм адаптивного краткосрочного прогнозирования.

5.Метод верификации и анализа защищенности баз данных на основе формализации требований целостности

Кумекин, Рыженков

ВВЕДЕНИЕ.

1 АНАЛИЗ СОВРЕМЕННЫХ МЕТОДОВ И СРЕДСТВ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ И БАЗ ДАННЫХ.

1.1 Архитектура современных реляционных баз данных.

1.2 Формирование концепции целостности реляционных баз данных.

1.2.1 Понятие целостности реляционных баз данных.

1.2.2 Определение места целостности в системе характеристик качества баз данных.

1.2.3 Анализ механизмов реализации требований целостности в реляционных базах данных.

1.3 Общая характеристика методов и инструментов верификации программного обеспечения и баз данных.

1.3.1 Понятие, цели и задачи верификации.

1.3.2 Классификация методов верификации программного обеспечения.

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

1.4 Анализ эффективности динамического тестирования целостности реляционных баз данных.

1.5 Постановка задач исследования.

2 РАЗРАБОТКА МЕТАМОДЕЛИ ТРЕБОВАНИЙ И ФУНКЦИЙ ЦЕЛОСТНОСТИ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ.

2.1 Целостность как корректность состояний и переходов.

2.2 Разработка метамодели требований целостности на основе совершенствования метамодели Гарсиа-Молина, Ульмана и Уидом.

2.3 Применение формальных описателей в качестве спецификаций объектов ограничений.

2.3.1 Типовые требования целостности и их формальные описатели.

2.3.2 Использование формальных описателей в качестве спецификаций триггеров и триггерных связок.

3 РАЗРАБОТКА МЕТОДА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ И ВЫЯВЛЕНИЯ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОСТЕЙ ОБЪЕКТОВ-ОГРАНИЧЕНИЙ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ.

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

3.1.1 Связь между формальным описателем требования целостности и тройкой Хоара.

3.1.2 Взаимосвязь функциональной корректности программы с выбором наиболее сильного постусловия.

3.1.3 Анализ возможности применения метода индуктивных утверждений для верификации триггеров.

3.1.4 Требования к разрабатываемому методу формальной верификации объектов-ограничений.

3.2 Разработка процедур и алгоритмов, используемых в рамках метода формальной верификации объектов-ограничений.

3.2.1 Этапы проведения верификации.

3.2.2 Восстановление описателей по ограничениям целостности.

3.2.3 Восстановление описателей по триггерам.

3.2.4 Получение собственных постусловий простых операторов.

3.2.5 Усиление собственного постусловия простого оператора.

3.2.6 Правило последовательного усиления постусловий операторов маршрута.

3.2.7 Получение постусловия маршрута, содержащего оператор отката транзакции.

3.2.8 Алгоритм синтеза постусловия маршрута.

3.2.9 Синтез постусловия триггера.

3.2.10 Восстановление описателей по триггерным связкам.

3.2.11 Сравнение описателей.