[發明專利]一種基于二進制序列集合的訪問控制策略合成方法

有效

• 申請號: 201210364329.7
• 申請日: 2012-09-26
• 公開（公告）號: CN102932328A
• 公開（公告）日: 2013-02-13
• 發明（設計）人: 潘理;劉晨燕;訾小超
• 申請（專利權）人: 上海交通大學
• 主分類號: H04L29/06
• 分類號: H04L29/06
• 代理公司: 上海漢聲知識產權代理有限公司 31236
• 代理人: 郭國中

1.一種基于二進制序列集合的訪問控制策略合成方法，其特征在于包括如下步驟：

步驟一：策略面向屬性層分解；

步驟二：對步驟一的策略進行基于二進制序列集合BSset的邏輯轉換；

步驟三：對步驟二結果進行語義檢查和移位化簡；

步驟四：推導基于二進制序列集合BSset的合成語義算子；

步驟五：根據步驟三和步驟四，用邏輯表達式刻畫合成結構；

步驟六：對步驟五實現合成演算，輸出策略合成結果。

2.根據權利要求1所述的一種基于二進制序列集合的訪問控制策略合成方法，其特征是，所述的步驟一，具體操作是：先對基于屬性約束翻譯成一個原子布爾表達式aT*v，aT為屬性名稱，*∈(=,<,≤,>,≥)，v為屬性的值，然后對一個策略集中含有n個不同的原子布爾表達式，依次編碼其中x_i，i=0,1,2..，表示不同的屬性約束，取為真或假；一條策略規則就能被抽象為通過邏輯符號與“∧”和或“∨”連接的原子布爾表達式組成的一個復合布爾表達式，進而，策略能用三組布爾表達式邏輯集合分別表示三值策略的允許集，拒絕集，以及“不適用”集，“不適用”的策略暫不考慮，最終得到策略二元組。

3.根據權利要求2所述的一種基于二進制序列集合的訪問控制策略合成方法，其特征是，所述基于屬性約束包括主體屬性約束、客體屬性約束、行動屬性約束。

4.根據權利要求1所述的一種基于二進制序列集合的訪問控制策略合成方法，其特征是，所述的步驟二，具體為：首先根據二進制序列和序列集合的定義，步驟一所得策略二元組進一步轉換成基于二進制序列集合BSset的邏輯形式；其次，將策略屬性項集合進一步通過元素分離：（1）策略的允許集[S]_Y和拒絕集[S]_N分別與空集φ進行并運算U；（2）去除[S]_Y和[S]_N集合之間的交集部分[S]_Y?∩[S]_N；通過上述兩個步驟轉換成定義的二進制序列集合形式。

5.根據權利要求1所述的一種基于二進制序列集合的訪問控制策略合成方法，其特征是，所述的步驟三，具體為：檢查步驟二轉換后的二進制序列集合，是否存在語義沖突的項，若存在用條件判斷語句檢測并刪除沖突路徑，然后進行移位合并算法，消除冗余路徑。

6.根據權利要求1所述的一種基于二進制序列集合的訪問控制策略合成方法，其特征是，所述的步驟四，具體為：根據實際的策略合成安全需求，組合基于BSset集合運算設計的5個基礎語義算子推導出滿足合成期望的合成語義算子；其中5個基礎語義算子如下：

P_Y算子：all?permit策略；

P_N算子：all?deny策略；

+算子：策略加運算；

&算子：策略與運算；

算子：策略非運算。

7.根據權利要求1所述的一種基于二進制序列集合的訪問控制策略合成方法，其特征是，所述的步驟五，具體為：根據步驟三的結果，基于BSset的邏輯建模策略，和步驟四的結果，根據安全需求推導出的合成語義算子，將多策略的合成方式轉換為合成邏輯表達式。

8.根據權利要求1所述的一種基于二進制序列集合的訪問控制策略合成方法，其特征是，所述的步驟六，具體為：根據步驟五的邏輯表達式，對合成空間計算合成結果，實現合成演算，并且對每次合并的結果進行語義沖突檢測，去除矛盾的二進制序列，再進行移位合并化簡，輸出策略合成布爾表達式并進一步轉換成語義描述形式。

9.根據權利要求1-8任一項所述的一種基于二進制序列集合的訪問控制策略合成方法，其特征是，所述BSset是指一個二進制序列集合[S]，是由n個長度相等的二進制序列所組成的集合，[S]={S₁,S₂,...,S_n-1}表示布爾表達式S₁∨S₂∨...∨S_n-1且S_i∩S_j＝null(i≠j,1≤i,j≤n)，其中，每個S_i表示析取布爾表達式x₀∧x₁∧...∧x_n-1。