基于信息流的SELinux 策略分析模型.pdfVIP

第２８卷第４期　　　 计算机应用与软件 Ｖｏｌ２８Ｎｏ．４ ２０１１年４月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ａｐｒ．２０１１ 基于信息流的ＳＥＬｉｎｕｘ策略分析模型 １ ２ ３ 王　燕 　李　佳 　何建波 １（天津科技大学计算机学院　天津３００２２２） ２（北京信息资源管理中心　北京 １００１０１） ３（北京信息技术研究所　北京 １０００９３） 摘　要　　针对ＳＥＬｉｎｕｘ安全策略分析和管理上的困难，提出了一种ＳＥＬｉｎｕｘ信息流分析模型ＳＥＬＩＦ。首先构造有效安全上下文集 合和安全上下文的授权关系，然后根据许可权的信息流语义，用标记转换系统表示的安全上下文关系来刻画信息流。ＳＥＬＩＦ信息流 模型可以直观地表达ＳＥＬｉｎｕｘ策略所描述的安全上下文之间的信息流路径，实现对复杂策略的直观分析和管理。 关键词　　ＳＥＬｉｎｕｘ　信息流　安全上下文　授权关系　安全策略 ＡＳＥＬＩＮＵＸＳＴＲＡＴＥＧＹＡＮＡＬＹＳＩＳＭＯＤＥＬＢＡＳＥＤＯＮＩＮＦＯＲＭＡＴＩＯＮＦＬＯＷ １ ２ ３ ＷａｎｇＹａｎ　ＬｉＪｉａ　ＨｅＪｉａｎｂｏ １（ＣｏｌｌｅｇｅｏｆＣｏｍｐｕｔｅｒ，ＴｉａｎｊｉｎＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，Ｔｉａｎｊｉｎ３００２２２，Ｃｈｉｎａ） ２（ＢｅｉｊｉｎｇＩｎｆｏｒｍａｔｉｏｎＲｅｓｏｕｒｃｅＡｄｍｉｎｉｓｔｒａｔｉｖｅＣｅｎｔｅｒ，Ｂｅｉｊｉｎｇ１００１０１，Ｃｈｉｎａ） ３（ＢｅｉｊｉｎｇＩｎｆｏｒｍａｔｉｏｎＴｅｃｈｎｏｌｏｇｙＩｎｓｔｉｔｕｔｅ，Ｂｅｉｊｉｎｇ１０００９３，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　ＭｏｔｉｖａｔｅｄｂｙｄｉｆｆｉｃｕｌｔｙｉｎＳＥＬｉｎｕｘｓｅｃｕｒｉｔｙｓｔｒａｔｅｇｙａｎａｌｙｓｉｓａｎｄｍａｎａｇｅｍｅｎｔ，ａＳＥＬｉｎｕｘｉｎｆｏｒｍａｔｉｏｎｆｌｏｗａｎａｌｙｓｉｓｍｏｄｅｌ， ＳＥＬＩＦ，ｉｓｐｒｏｐｏｓｅｄ．Ｆｉｒｓｔｌｙａｎｅｆｆｅｃｔｉｖｅｓｅｃｕｒｉｔｙｃｏｎｔｅｘｔｇｒｏｕｐａｎｄａｕｔｈｏｒｉｚａｔｉｏｎｒｅｌａｔｉｏｎｉｓｓｅｔｕｐ；ｔｈｅｎｉｎａｃｃｏｒｄａｎｃｅｗｉｔｈｐｅｒｍｉｓｓｉｏｎ ｉｎｆｏｒｍａｔｉｏｎｆｌｏｗｓｙｎｔａｘ，ｏｕｔｌｉｎｅｔｈｅｉｎｆｏｒｍａｔｉｏｎｆｌｏｗｂｙｔｈｅｓｅｃｕｒｉｔｙｃｏｎｔｅｘｔｒｅｌａｔｉｏｎｗｈｃｈｉｓｒｅｐｒｅｓｅｎｔｅｄｂｙａｌａｂｅｌｅｄｔｒａｎｓｉｔｉｏｎｓｙｓｔｅｍ．ＳＥＬＩＦ ｍｏｄｅｌｉｓａｂｌｅｔｏｃａｎｂｅｕｓｅｄｔｏａｎａｌｙｚｅａｎｄｍａｎａｇｅｔｈｅｃｏｍｐｌｅｘｓｅｃｕｒｉｔｙｐｏｌｉｃｉｅｓ． Ｋｅｙｗｏｒｄｓ　　ＳＥＬｉｎｕｘ　Ｉｎｆｏｒｍａｔｉｏｎｆｌｏｗ　Ｓｅｃｕｒｉｔｙｃｏｎｔｅｘｔ　Ａｕｔｈｏｒｉｚａｔｉｏｎｒｅｌａｔｉｏｎ　Ｓｅｃｕｒｉｔｙｐｏｌｉｃｙ 中，安全上下文由用户标识、角色、类型和可选的ＭＬＳ安全标签 １　ＳＥＬｉｎｕｘ系统简介 组成。安全标识符主要由客体管理器使用，客体管理器负责把 安全服务器分配的安全标识符绑定到客体上。客体管理器以盲 ［１］ 操作的方式处理安全标识符和安全上下文，它不对安全上下文 ＳＥＬｉ