一种基于二进制序列集合的访问控制策略合成方法

摘要

本发明公开一种基于二进制序列集合的访问控制策略合成方法，首先定义二进制序列集合元素以及基于二进制序列的集合运算规则,根据以上定义，从属性约束层对实际的策略进行属性分解，并通过集合内部元素分离将策略正确的表达成为基于二进制序列的逻辑表达式。然后通过语义检查和移位合并，用以消除规则冗余和语义冲突问题。在此基础上，根据实际的安全需求定义基于二进制序列集合的逻辑合成算子，将合成方式转换成逻辑表达式。利用二进制序列可直接作为数据结构的特点，根据逻辑表达式可直接对基于二进制建模的策略空间计算合成结果，作为一种无需逻辑转换的策略代数实现机制。最后，将基于二进制集合形式的合成策略翻译成属性项策略。

主权项

一种基于二进制序列集合的访问控制策略合成方法，其特征在于包括如下步骤：步骤一：策略面向属性层分解；步骤二：对步骤一的策略进行基于二进制序列集合BSset的逻辑转换；步骤三：对步骤二结果进行语义检查和移位化简；步骤四：推导基于二进制序列集合BSset的合成语义算子；步骤五：根据步骤三和步骤四，用逻辑表达式刻画合成结构；步骤六：对步骤五实现合成演算，输出策略合成结果。