следующие бинарные отношения: S,pS,+1 и Sl+]yX. По свойству транзитивности имеем SjX. 2. Матрица доступа D описывает связь S,, 5^,,X. Средство S, и Si+] связаны отношением р — Si¥lpS,. Средство £,+1 и элемент X связаны отношением у — S,MyX. Тогда можно установить следующие бинарные отношения: StpSl+l и S,^yX. По свойству транзитивности имеем S,yX. 3. Матрица доступа D описывает связь Sg9SM9X. Средство S, и S,+1 связаны отношением р — S,pS,.x. Средство SM и элемент X связаны отношением у — SMyX. Создав новый объект Y, которому S, передает полные права — //. Тогда можно установить следующие бинарные отношения: S,J]Y, YpStyx ,SMyX. По свойству транзитивности YyX, а следовательно SjX. 4. Матрица доступа D описывает связь 5/}5,+,Х. Средство S, и SM связаны отношением р — Sn]pSt. Средство Sы и элемент X связаны отношением у — SlMуХ. Создав новый объект Y, которому S, передает полные права — rj. Тогда можно установить следующие бинарные отношения: StrjY9 YpS,^9 SMyX. По свойству транзитивности YyX, а следовательно S.)X. Таким образом, были рассмотрены и доказаны четыре возможных случая исходных условий: средство при обладании хотя бы одним правом может оперировать информацией на объекте. Тогда, основной задачей диссертационной работы является разработка новых метода, модели и алгоритма, способных разграничить потоки данных, а также реализовать информационные потоки по памяти и по времени. 41 |
2. Матрица доступа D описывает связь S,, ,X. Субъект S, и S связаны отношением р — £„.,/3$,. Субъект и элемент X связаны отношением / — SJ4lуХ. Тогда можно установить следующие бинарные отношения: S,pSl+l и Посвойству транзитивности имеем S j X . 3. Матрица доступа D описывает связь S,,SI+],X. Субъект 5; и Sы связаны отношением р — Я,/#,*,. Субъект 5,+1 и элемент X связаны отношением у — £+,/Л\ Создав новый объект Y, которому S, передает полные права — rj. Тогда можно установить следующие бинарные отношения: S,tjY, YpSм . По свойству транзитивности YyX, а следовательно S j X . 4. Матрица доступа D описывает связь S,,Sf+],X. Субъект S, и £(+, связаны отношением р — 5/+,pS(. Субъект и элементX связаны отношением у — Sl+lyX. Создав новый объект Y, которому S, передает полные права — ц. Тогда можно установить следующие бинарные отношения: S,rjY, YpS„]y S^jX. По свойству транзитивности YyX, а следовательно SjX. Таким образом, были рассмотрены и доказаны четыре возможных случая исходных условий: субъект при обладании хотя бы одним правом может оперировать информацией на объекте. Тогда, основной задачей диссертационной работы является разработка новых метода, модели и алгоритма, способных разграничить права доступа пользователей, а также реализовать информационные потоки по памяти и по времени, не придерживаясь жестко заданной политики безопасности. Определение 2.4. Матрица важности объектов — это квадратная матрица, состоящая из коэффициентов шкалы ценности [0,1], которые определяются субъектами (пользователями) и соответствуют степени важности обрабатываемой информации на объекте. 63 |