|
|
|
| A Binary-String-Set-Based Algebraic Framework for Policy Composition |
| LIU Chen-Yan-1, 2 , PAN Li-1, 2 , ZI Xiao-Chao-2 |
| (1. School of Electronic, Information and Electrical Engineering, Shanghai Jiaotong University, Shanghai 200240, China; 2. Shanghai Key Laboratory of Information Security Synthesis Management Technique Research, Shanghai 200240, China)
|
|
|
|
|
Abstract A new algebraic framework was proposed for merging the algebraic model with the implementation mechanism. In this framework, the policy is converted into logic pattern by defining new binary string/binary string set and constructing a new set of operation rules. Depending on that, an algorithm named rotate-combination is issued to solve the problem of order-sensitivity and rule-redundancy in MTBDD mechanism. By deriving the semantic operators and formulating the policies composition as expressions of the algebra, a new model was set. Furthermore, an analysis of the time complexity and simulation results were given to demonstrate the effectiveness of the framework, and its performance is better than that of the MTBDD-based mechanism.
|
|
Received: 26 June 2012
Published: 28 April 2013
|
|
|
|
|
|
| [1] |
JIANG Dong-Dong, HONG Fang-Jun, ZHENG Ping. Droplet Oscillations under AC Electrowetting[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(04): 513-518. |
| [2] |
HUANG Xiang-Long, ZHANG Xiao-Jing, BAI Guo-Juan, XU Wu, WANG Hai. Residual Strength Analysis of Thin-Walled Structures with Multiple Site Damage Based on Crack Tip Opening Angle Method[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(04): 519-524. |
| [3] |
LIU Yi-Peng, HU Xue-Yu, CHEN Jia-Luo, WANG Ping-Yang, DU Chao-Hui. Direct Image Correction Algorithm for PIV Measurement of Flowfield within Circular Tube[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(04): 525-532. |
| [4] |
ZHU Han-Hao, PU Sheng-Chun, ZHANG Hai-Gang, LIU Wei, AN Xu-Dong. Verification of the Calculation of Acoustic Field with Typical Bottom Based on Parabolic Equation in Scaled Tank Experiment[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(04): 532-537. |
| [5] |
YANG Jing-Jing-1, LIU Yong-Sheng-1, FANG Wen-Jian-1, FANG Jin-1, PENG Lin-1, YANG Zheng-Long-2, GAO Tian-1, GU Min-An-1. Design and Efficiency of Photovoltaic-Thermoelectric Power Generator with Negative Feedback Characteristic[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(04): 550-554. |
| [6] |
PENG Yan-Bin-1, ZHENG Zhi-Jun-1, YU Cheng-Bo-2, LI Ji-Ming-3. Automated Negotiation Decision Model Based on Classifier Fusion[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(04): 644-649. |
| [7] |
NING Xiao-Lin-1, ZHAO Yi-Fei-2, CHEN Fei-儿1. Index System and Prosperity Indices of Global Shipping Industry and Applied Research[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(03): 417-422. |
| [8] |
KONG Xiang-Qiang-1, LIN Lin-1, LI Ying-1, ZHANG Dong-2, YANG Qian-Ming-1. Effect of Refrigerant Charge on the Performance of a Direct Expansion Solar Assisted Heat Pump Water Heater Using R410A[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(03): 370-375. |
| [9] |
HUANG Kang, 欧Yang-Guang-Yao , AN Shi-Jie, CHANG Han-Bao. Design and Simulation Research on Double-Staggered Arranged Porous Nozzle[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(03): 434-437. |
| [10] |
WANG Lei, GU Meng-Di. Optimal Reinsurance-Investment Strategies in a Mean-Reverting Market[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(03): 438-443. |
| [11] |
XIONG Hao, YAN Hui-Li, ZHOU He-Ping, LIU Wu-Sheng. Real-Time Optimization Strategy of the Multi-Period Dynamic Vehicle Routing Problems[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(03): 450-453. |
| [12] |
HONG Jiang-Tao-1, YANG Xiao-Yan-1, CHEN Jun-Fang-2. An Empirical Research on the Relationship among Knowledge Management, Knowledge Competence and Core Competence[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(03): 444-449. |
| [13] |
LI Bin-a, JI Jian-Hua-a, b , LI Guo-Wei-a. Study on Supply Chain Robustness Index Mode Considering Profits and Risks[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(03): 484-488. |
| [14] |
XU Shi-Yin, HUANG Xiu-Chang, HUA Hong-Xing. Study on the Band Structure of Hexagonal Chiral Structures[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(02): 167-172. |
| [15] |
HUANG Xiu-Chang, XU Shi-Yin, HUA Hong-Xing, ZHANG Zhi-Yi. Research on Dynamic Properties and Vibration Isolation Performance of Curved Beam Periodic Structure[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(02): 173-179. |
|
|
|
|
