sel新inux策略的等级信息分析教程(ppt 35页).pptVIP

针对SELinux策略的等级信息分析方法（续） 基于XSB的实现（续） 新增规则定义 不含可信进程的信息流 infoflow_without_TP(T1,R1,U1,T2,R2,U2)是一个不流经可信进程的信息流，若(1)存在flow_trans(T1,R1,U1,_,_,T2,R2,U2)，且不存在tp(T1)和tp(T2)；或者(2)存在flow_trans(T3,R3,U3,_,_,T2,R2,U2)和infoflow_without_TP(T1,R1,U1,_,_,T3,R3,U3)，且不存在tp(T2)。 针对SELinux策略的等级信息分析方法（续） 基于XSB的实现（续） 新增规则定义（续） 同等级标记 型T1和T2在同一个等级上，表示为equal(T1,T2)，若存在infoflow_without_TP(T1,_,_,T2,_,_)和infoflow_without_TP(T2,_,_,T1,_,_)。 偏序等级 型T1比型T2的等级高，表示为higher(T1,T2)，若存在infoflow_without_TP(T2,_,_,T1,_,_)却不存在infoflow_without_TP(T1,_,_,T2,_,_)。 针对SELinux策略的等级信息分析方法（续） 基于XSB的实现（续） 新增规则定义（续） 同等级标记集合 T2在等级m的集合内，若存在