7. Защиты информации

• Информация и информационные ресурсы. Роль информатизации в развитии общества.

• Информационная безопасность. Современная ситуация в области информационной безопасности. Категории информационной безопасности. Обзор наиболее распространенных методов взлома.

• Методы и средства защиты информации. Проблемы защиты информации. Система защиты информации. Способы и средства защиты информации от технических разведок.

• Защита информации при ее обработке техническими средствами. Технические средства обработки информации. Защита информации от утечки за счет ПЭМИ и ПЭМН. Защита информации от НСД. Защита информации от воздействия специальных электронных закладных устройств (аппаратных закладок) и внешних воздействий. Криптографическая защита информации.

• Защита информации в информационных системах. Защита локальных сетей и операционных систем. Вычислительные сети и защита информации.

• Организационно-правовое обеспечение информационной безопасности. Информационное право. Законодательство в области интеллектуальной собственности. Правовая защита программ и информационных технологий.

8. Объектно-ориентированное программирование

• Введение в ООП. Основные принципы ООП. Объектно-ориентированное моделирование. Объектная модель системы. Объекты и классы. Атрибуты объектов. Операции и методы. Зависимости между классами (объектами). Атрибуты зависимостей. Имена ролей, квалификаторы. Агрегация. Обобщение и наследование. Абстрактные классы. Множественное наследование. Построение объектной модели Определение классов. Подготовка словаря данных. Определение зависимостей. Уточнение атрибутов. Организация системы классов, используя наследование. Дальнейшее исследование и усовершенствование модели. Выделение подсистем. Понятие подсистемы. Динамическая модель системы или подсистемы. События, состояния объектов и диаграммы состояний. Условия. Активности и действия. Одновременные события. Синхронизация. Вложенные диаграммы состояний.

• Разработка архитектуры системы. Разбиение системы на модули. Выявление асинхронного параллелизма. Распределение модулей и подсистем по процессорам и задачам. Управление хранилищами данных. Управление глобальными ресурсами. Реализация управления программным обеспечением. Пограничные ситуации. Обзор архитектур прикладных систем. Разработка объектов Совместное рассмотрение трех моделей. Разработка алгоритмов, реализующих полученные операции. Оптимизация разработки. Реализация управления. Уточнение наследования классов. Разработка зависимостей. Реализация объектно-ориентированного проекта. Объектно-ориентированный стиль программирования. Объектно-ориентированные системы программирования. Реализация на языке C++.

• Интерфейсы: правила организации, методы и средства программирования.Объектно-ориентированные системы: методы, языки и способы программирования.

9. Теория вычислительных процессов

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

• Семантическая теория программ. Описание смысла программ. Операционная семантика. Аксиоматическая семантика. Денотационная семантика. Декларативная семантика. Семантическая теория программ. Языки формальной спецификации. Верификация программ. Методы доказательства правильности программ. Использование высказываний в программах. Правила верификации к Хоара.

• Теоретические модели вычислительных процессов. Взаимодействующие последовательные процессы. Параллельные процессы, взаимодействие потоков.

• Параллельные процессы. Разделяемые ресурсы, поочередное использование, общая память. Планирование ресурсов. Программирование параллельных вычислений. Основные понятия. Многопоточная обработка. Условные критические участки, мониторы. Модели параллельных вычислений.

• Сети Петри. Основные определения. Графы сетей Петри. Маркировка сетей Петри. Правила выполнения сетей Петри. Моделирование систем на основе сетей Петри. Сети Петри. Анализ сетей Петри. Свойства сетей Петри. Методы анализа.