2. Логический тип данных в эвм: назначение и технологии их применения.
Логический (булев) тип данных - тип данных, которые могут принимать два возможных значения, иногда называемых правдой и ложью. Присутствует в подавляющем большинстве языков программирования как самостоятельная сущность или реализуется через численный тип. В подавляющем большинстве языков за истину полагается единица, за ложь – ноль
Простейшие логические операции над
ними: конъюнкцию ("
"), дизъюнкцию ("
"), отрицание ("
")
Способы описания ФАЛ:
1. Словесное
2. Табличное
-
X0
X1
…
Xn
Y0
Y1
…
Yn
0
0
…
0
0
0
…
0
…
3. Алгебраическое описание (с помощью логических выражений):
Есть две формы:
ДНФ
КНФ
ДНФ - эта форма описания ФАЛ представляет собой сумму логических произведений, в каждом из которых элемент или его инверсия входят 1 раз. Значение аргументов произведения соответствует 1.
КНФ - эта форма описания ФАЛ представляет собой произведение элементарных логических сумм, в каждой из которых элемент или его инверсия входят один раз.
Значение аргументов суммы соответствует 0.
Если в данные формы входят все элементы и учитываются все ФАЛ то такие функции называются СДНФ и СКНФ.
Информация в ИС представляется в аналоговой и цифровой форме. При представлении информации в дискретном виде изменение физических величин описывается дискретными функциями времени. По этому в информационных системах дискретного действия обработка информации, как правило осуществляется устройствами дискретного действия. Эти устройства получили название автоматы дискретного действия. АДД состоят из более простых устройств, которые оперируют с бинарными величинами. Эти устройства называются логическими устройствами.
ЛУ являются ячейками автоматических дискретных действий.
ЛУ бывают двух видов:
1. Комбинационные – результат из преобразования входных сигналов, подаваемых на вход устройства в данный момент времени.
2. Последовательные - + входные и выходные значения в предшествующий момент времени.
3. Гарантированность информационной безопасности: определение и составляющие
из тетради.
Гарантированность – это пассивный компонент защиты
Надёжная вычислительная база это совокупность надёжных элементов защиты включающих аппаратную защиту системы, математическую модель, энергопотребление
Компоненты могут быть надёжна но алгоритм подводит.
Составляющие:
Произвольное управление доступом
Безопасность повторного доступа
Персональные характеристики группы или субъекта
Запретить, ограничить, разрешить. Текущие проблемы пользования В качестве идентификатора могут быть передача прав доступа другому субъекту
Метки безопасности используют для принудительного управления доступом
Наборы уровней (секретно, совершенно секретно, конфиденциально) субъект может читать информацию объекта, если категория безопасности его выше
Гарантированность – мера уверенности сформулированной политики безопасности
Аппаратная гарантированность. Анализ архитектуры и целостности системы. Анализ скрытых каналов утечки информации. Анализ методов администрирования.
Необходимо предусмотреть контроль целостности программно аппаратных компонентов
Предлагается привязка аппаратной и системной функций к уровням привилегированности.
Введение механизмов виртуальной памяти в целях защиты процессов от взаимного влияния.
Введение средств управления доступом.
Структурирование доступа. Принцип линеаризации системы.
Показателей надёжности много все они носят вероятностный характер.
+книжка
+20
+16