访问控制 第3篇.pptVIP

SELinux访问判定 以访问控制策略为依据，检查授权 Access Vector：标识判定结果的位图 例3.10 试举例说明用于标识SELinux系统的访问判定结果的访问向量的基本形式 在SETE中对每个访问请求，如果在访问控制策略中找到匹配的规则，则返回3个相关联的AV 例3.11 设SELinux系统中的进程请求在文件上实施操作，试举例说明访问判定返回结果的基本构成 SELinux访问判定原则： 是否有匹配规则 Allow Aduitallow Dontaudit SELinux切换判定 是否给新域和新客体分配新标签，该如何取值 例3.12 举例说明在SELinux中创建新进程时不切换域标签和切换域标签的情况 例3.13 举例说明在SELinux中创建新文件时不切换类型标签和切换类型标签的情况 域切换方法：exec和auto 类型切换方法(尝试切换) ： type_transition source_type target_type:file default_type 例3.14 举例说明类型切换规则的定义方法，用于为新创建的文件进行类型切换 SELinux切换判定 例3.15 设有描述文件类型切换的规则： type_transition syslogd_d tmp_t:file syslog_tmp_t 试给出使该规则指示的操作能够成功实施的授权方法 allow syslogd_d tmp_t:file {relablefrom} allow syslogd_d syslog_tmp_t:file {relableto} 文件类型切换规则： 说明切换意图，指明旧的类型和新的类型 授权改变旧的类型标签 授权改变新的类型标签 指明实施切换的主体的域标签 客体类型标签的存储 客体：永久客体和临时客体 文件系统的扩展属性结构?内存表结构 内存表结构 * MAC特点 强制性 限制性 灵活性差 * 3.2.1 TE模型 3.2.2 DTE模型 3.2 操作系统的强制访问控制 TE模型(Type Enforcement) 基础：对主体、客体进行分组，定义域和类型。 访问控制属性：为主体定义域标签，为客体定义类型标签 方法：确定具体域对类型拥有的访问权限 二维矩阵实现域定义表DDT * 例3.1 在上图的域定义表中，设进程Px准备读取文件Fy，请说明判定过程 DDT不表述主体成为客体，主体之间相互作用的访问控制用域相互作用表DIT描述，访问权限有发信号，创建进程，释放进程等 TE模型：使用DDT，DIT控制访问，系统管理员定义域、类型、DDT和DIT。 例3.2 假设在一个OS中需运行Telnet，Web，Email，FTP等多种应用系统，使用TE模型的访问控制方法，给出一个访问控制方案，要求能是各种应用系统相互不干扰工作 为应用定义域和类型 将应用所用文件放入类型 根据需要定义相关权限 达到应用系统隔离 * TE缺陷 访问控制权限配置复杂 二维表无法反映系统内在结构 控制策略从0开始定义 * DTE模型(Domain and Type Enforcement) TE的改进版 DTEL：描述安全属性和访问控制配置 使用隐含方式表示文件安全属性 详细参考 DTEL：类型描述，类型赋值，域描述，初始域设定 类型描述 Type unix_t,specs_t,budget_t,rates_t； * 类型赋值 Rule:如果没有显示的给文件系统中的一个客体赋类型值，那么，该客体的类型值与其父目录的类型值相同 assign –r-s unix_t /; assign –r-s specs_t /subd/specs; assign –r-s budget_t /subd/budget; assign –r-s rates_t /subd/rates; 域描述 主体域，入口点，访问权限(域对域，域对类型) define DEF (/bin/sh),(/bin/csh),(rxd-unix_t) domain engineer_d =DEF,(rwd-specs_t) domain project_d =DEF,(rwd-budget_t),(rd-rates_t) domain accounting_d =DEF,(rd-budget_t),(rwd-rates_t) * 系统域描述和初始域设定 domain system_d =(/etc/init),(rwxd-unix_t),(auto-login_d) domain login_d =(/bin/login),(rwxd-unix_t), (exec-engineer_d,project_d, accounting_d ) Initial_domai