计算机科学与探索
計算機科學與探索
계산궤과학여탐색
JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY
2013年
3期
193-208
,共16页
普适计算%主动访问控制%主动模糊规则%终止性分析%模糊授权
普適計算%主動訪問控製%主動模糊規則%終止性分析%模糊授權
보괄계산%주동방문공제%주동모호규칙%종지성분석%모호수권
ubiquitous computing%active access control%active fuzzy rule%termination analysis%fuzzy authorization
基于主动模糊规则的访问控制模型,可以实现普适计算环境下资源的安全主动模糊自适应访问控制,而构造的访问控制规则集的终止性是决定模型实际是否可用的一个关键问题.提出了一种基于元图理论的主动模糊访问控制规则集终止性分析方法,用模糊触发元图(fuzzy triggering metagraphs,FTMG)表示主动模糊访问控制规则之间复杂的触发和激活关系,通过分析FTMG的邻接矩阵闭包,寻找最小真触发环,进而判断主动模糊访问控制规则集的终止性.通过实例分析验证了该方法的有效性和可用性,仿真实验结果表明,使用该方法分析大规模主动模糊规则集终止性时具有较高的时间效率.
基于主動模糊規則的訪問控製模型,可以實現普適計算環境下資源的安全主動模糊自適應訪問控製,而構造的訪問控製規則集的終止性是決定模型實際是否可用的一箇關鍵問題.提齣瞭一種基于元圖理論的主動模糊訪問控製規則集終止性分析方法,用模糊觸髮元圖(fuzzy triggering metagraphs,FTMG)錶示主動模糊訪問控製規則之間複雜的觸髮和激活關繫,通過分析FTMG的鄰接矩陣閉包,尋找最小真觸髮環,進而判斷主動模糊訪問控製規則集的終止性.通過實例分析驗證瞭該方法的有效性和可用性,倣真實驗結果錶明,使用該方法分析大規模主動模糊規則集終止性時具有較高的時間效率.
기우주동모호규칙적방문공제모형,가이실현보괄계산배경하자원적안전주동모호자괄응방문공제,이구조적방문공제규칙집적종지성시결정모형실제시부가용적일개관건문제.제출료일충기우원도이론적주동모호방문공제규칙집종지성분석방법,용모호촉발원도(fuzzy triggering metagraphs,FTMG)표시주동모호방문공제규칙지간복잡적촉발화격활관계,통과분석FTMG적린접구진폐포,심조최소진촉발배,진이판단주동모호방문공제규칙집적종지성.통과실례분석험증료해방법적유효성화가용성,방진실험결과표명,사용해방법분석대규모주동모호규칙집종지성시구유교고적시간효솔.
Access control model based on active fuzzy rule can achieve fuzzy adaptive control to the resources in ubiquitous computing environment. However, how to judge the termination of access control rules set is a key issue to determine whether the access control model is available. This paper proposes a termination analysis method based on metagraphs theory for active fuzzy access control rules set. It presents fuzzy triggering metagraphs (FTMG) to represent the triggering and activation relations between active fuzzy rules, and detects the minimum true triggering cycle by analyzing FTMG adjacency matrix closure for determining the termination of active fuzzy access control rules set. Finally, a prototype system shows that the method is valid, and the simulation results show that the method is efficient in the analysis of large rules set.