关键词: 普适计算, 主动访问控制, 主动模糊规则, 终止性分析, 模糊授权

Abstract: 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.

Key words: ubiquitous computing, active access control, active fuzzy rule, termination analysis, fuzzy authorization