摘要：最优化去除访问控制中信息流的环路是许多重要信息系统向多级安全系统迁移时保证系统可用性的重要前提.证明了该问题是NP难题,提出了基于动态规划的最优解算法,利用遗传算法搜索近似最优解.复杂度分析和实验结果表明,对于小规模环境,最优解方法能较快地找出最优解;对于大规模环境,近似最优解算法能有效找出近似解.

关键词：访问控制策略 信息流 环路 np难题 动态规划 

单位：中国科学院计算技术研究所; 北京100190; 解放军信息工程大学电子技术学院; 河南郑州450004; 中国科学院研究生院; 北京100039; 信息内容安全技术国家工程实验室; 北京100190