上海交通大学学报
基于二进制序列集合的策略合成代数框架
刘晨燕1, 2, 潘理1, 2, 訾小超2
A Binary-String-Set-Based Algebraic Framework for Policy Composition
LIU Chen-Yan-1, 2 , PAN Li-1, 2 , ZI Xiao-Chao-2
上海交通大学学报（自然版） . 2013, (04): 579 -583 .