函数依赖推理控制的方法.pdfVIP

维普资讯 函数依赖推理控制的方法 吴恒 山 佘志东 朱 虹 (华 中科技大学计算机学院数据库与多媒体研究所 ，武汉 430074) E—mail：sheidon@sina．COB 摘 要 文章研 究了在 多级安全数据库 系统 中由于函数依赖 (FD)引起的推理 问题 ，分析 了Su和 Ozsoyolu提 出的 CLA 算法存在的问题 ，在此基础上 ，提 出了一个递归的最小信息丢失分层密级调整算法，并分析 了算法的时间复杂度 。 关键词 多级安全数据库 系统 MLS—DBS 推理危 害 函数依赖 最小信息丢失 文章编号 1002—8331一(2003)24—0184—03 文献标识码 A 中图分类号 TP301 A M ethod ofFunctionalDependenciesInference Control W u Hengshan SheZhidong Zhu Hong (HuazhongUniversityofScience Technology，Wuhan430074) Abstract：Thispaperinvestigatestheinferenceproblemsduetofunctionaldependencies(FD)inthemultilevelsecure relational database，analyzes the faults of CLA algorithm presented by Su and Ozsoyolu，then gives a recursive classification leveladjustmentalgorithm withminimum information loss．Finally，itanalyzesthetimecomplexityofthe algorithm． Keywords：MLS—DBS．Inferencecompromise，Functionaldependencies，Minimum infomr ation loss l 引言 理危害。Millen的方法是把 FD推理问题转化成 0／1整数编码 在 MLS—DBS中，数据 (或客体)以不 同的安全级 存储 ，不 问题 ；MarkE．Stickel改进 了Davis—Putuam过程 ，提出了考虑升 同的用户 (或主体)被授予不 同的安全级 。只有当用户 u的安全 级代价 的FD推理控制解决方案 ，但没有给出具体 的算法 。在 级 L(u)大于或等于数据 d的安全级 L(d)时，用户 M才能读取 Su和 Ozsoyolu的论文中，他们提 出了一个消除 FD推理危害 的 数据 d。如果一个低安全级用户通过访问低安全级数据从而能 最小信息丢失 CIA算法 。该算法能够消除F中的部分 FD推理 够推理出高安全级的数据 ，称该用户对数据库实施 了推理攻 危害 ，但其主要 问题在于仅消除 F中的涉及最大密级 的 FD推 击 ，实施推理攻击 的方法很多，该文将探讨函数依赖导致 的推 理危害，而没有消除可能存在 的非最高密级 FD推理危害 。该 理 问题 。看下面的例子 ： 文在此基础上 ，提出了一个能完全消除 FD推理危害且具有更 例 1．1：假定某个公司的职员的工资是 由职员的职务决定 高效率 的最小信息丢失的分层密级调整算法 。 的。尺(EMPLOYEE，RANK，SALARY)是该公司数据库 的一个关 系模式 。假设 SAAL RY属性 的安全级为绝密 ，RANK属性 的安 2 基本定义和引理 全级为机密。同时，尺中存在