Please enable JavaScript.

Coggle requires JavaScript to display documents.

操作系统安全, MAC模型， SElinux 内容，linux基础内容 - Coggle Diagram

- - - - 模型构成： Sujets 主体， Objets 物体，A: Access Control Matrix访问控制矩阵
      - 主题有对某物体实施操作的权限
        
        主题可以向其他主题自主传递权限
      - 基础操作：
        
        Create subject/object s/o
        Delete subject/object s/o
        Mettre un droit D dans A(s, o)
        Enlever un droit D dans A(s, o)
      - 对访问控制矩阵的操作
        
        Commande name_of_commande(arg1, arg2, ...) Si droit1 ∈ A(args1,argo1) ...
        执行命令前先要判断条件满足条件才执行
        
        例子
        
        Command Grand_read(x1, x2, y) # [x1 向 x2 授权对y 的读操作]
        if ‘own’ in [x1,y]
        then enter `read’ into [x2,y]
        
        command C(args)
        requires: R
        ensures: E
      - 模型例子
        
        医生，护士，秘书
        
        Objects：
        病人1
        病人2
        文件：
        预约文件
        病人行政文件
        病人医学文件
        
        规则：
        R1 医生有权利访问自己病人的文件
      - https://www.cs.cornell.edu/courses/cs5430/2015sp/notes/dac.php
        https://blog.51cto.com/zhaotianyu/1795178 Linux DAC
      - 模型优缺点
        
        优点
        
        可以实现权限传递
        
        缺点
        
        HRU模型：不能判断是否存在一系列命令可以让某个主体获得对某个客体的某种权利？
        
        不能实现基于上下文的规则
        
        eg：当紧急情况时，护士可以访问病人资料
      - 模型应用
        
        Modèle de Harrison, Ruzzo, Ullman (HRU) 访问控制矩阵模型
      - 总结
        
        静态模型，没有会话实现，不能考虑上下文，没有最小权限
        
        使用DAC的系统：Windows，Unix，Linux，SQL
    - - 基础模型
        
        RBAC96
        
        RBAC0 基础模型
        
        构成：
        
        会话
        
        用户
        
        角色
        
        权限
        
        动作 Actions
        
        对象 Object
        
        一个会话仅针对一个用户
        一个用户在一次会话中可有多个角色
        多个用户可以同时充当一个角色
        多个权限可以给单个用户
        多个用户可以有同一权限
        
        RBAC1（角色继承）
        
        角色之间可以根据等级决定权限的继承关系
        
        RBAC2（限制）
        
        限制可以对模型构成之间的关系进行限制，例如一个角色只能给一个用户，某些角色不能有某些权限等。。。
        
        RBAC3（角色继承+ 限制）
        
        比前两个多了角色之间的继承限制，比如专科医生和普通医生没有继承关系
        
        ARBAC97
        
        添加了行政系统：行政角色，行政权限，将管理角色分离出96模型
        
        SQL3 / SQL/99 扩展模型
        
        结论： RBAC中，Role-Permission的关系是固定的，不能取决于上下文
        代表用户运行的应用程序会继承会话权限，当有特洛伊木马程序时...
    - - SELinux MAC ： https://blog.51cto.com/zhaotianyu/1817939