论文部分内容阅读
基于主动模糊规则的访问控制模型，可以实现普适计算环境下资源的安全主动模糊自适应访问控制，而构造的访问控制规则集的终止性是决定模型实际是否可用的一个关键问题。提出了一种基于元图理论的主动模糊访问控制规则集终止性分析方法，用模糊触发元图（fuzzy triggering metagraphs，FTMG）表示主动模糊访问控制规则之间复杂的触发和激活关系，通过分析FTMG的邻接矩阵闭包，寻找最小真触发环，进而判断主动模糊访问控制规则集的终止性。通过实例分析验证了该方法的有效性和可用性，仿真实验结果表明，使用该方法