Курс лекций Защита Информации/Формальная модель нарушителя: различия между версиями

Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 43:
 
Преобразование информации отображает слово, описывающее исходные данные, в другое слово. Описание преобразования данных также является словом. Каждое преобразование информации может:
#* храниться;
#* действовать.
 
В первом случае речь идет о хранении описания преобразования в некотором объекте, а в случае втором описание программы взаимодействия с другими ресурсами вычислительной системы. Введем в рассмотрение:
* '''Домендомен''' - ресурсы вычислительной системы выделенные для действия преобразования.
 
* '''Процесспроцесс''' - преобразование, которому передано управление.
'''Домен''' - ресурсы вычислительной системы выделенные для действия преобразования.
* '''Субъектсубъект''' - объект, описывающий преобразование, которому выделен домен и передано управление.
 
'''Процесс''' - преобразование, которому передано управление.
 
'''Субъект''' - объект, описывающий преобразование, которому выделен домен и передано управление.
 
<math>S</math>=<math>\{s_1,...,s_m\}</math> — множество субъектов.
 
Преположим <math>Ss \subseteq S</math> и <math>Oo \subseteq O</math>. Тогда
 
<math>S \rightarrow \ (write)O</math><br />