公开(公告)号：CN102932328A

公开(公告)日：2013-02-13

申请号：CN201210364329.7

申请日：2012-09-26

Applicant: 上海交通大学

Inventor： 潘理 ,  刘晨燕 ,  訾小超

IPC: H04L29/06

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

公开(公告)号：CN102932328B

公开(公告)日：2016-01-13

申请号：CN201210364329.7

申请日：2012-09-26

Applicant: 上海交通大学

Inventor： 潘理 ,  刘晨燕 ,  訾小超

IPC: H04L29/06

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