摘要
In this paper, we propose a Multi-granularity Spatial Access Control （MSAC） model, in which multi- granularity spatial objects introduce more types of policy rule conflicts than single-granularity objects do. To analyze and detect these conflicts, we first analyze the conflict types with respect to the relationship among the policy rules, and then formalize the conflicts by template matrices. We designed a model-checking algorithm to detect potential conflicts by establishing formalized matrices of the policy set. Lastly, we conducted experiments to verify the performance of the algorithm using various spatial data sets and rule sets. The results show that the algorithm can detect all the formalized conflicts. Moreover, the algorithm＇s efficiency is more influenced by the spatial object granularity than the size of the rule set.
In this paper, we propose a Multi-granularity Spatial Access Control （MSAC） model, in which multi- granularity spatial objects introduce more types of policy rule conflicts than single-granularity objects do. To analyze and detect these conflicts, we first analyze the conflict types with respect to the relationship among the policy rules, and then formalize the conflicts by template matrices. We designed a model-checking algorithm to detect potential conflicts by establishing formalized matrices of the policy set. Lastly, we conducted experiments to verify the performance of the algorithm using various spatial data sets and rule sets. The results show that the algorithm can detect all the formalized conflicts. Moreover, the algorithm＇s efficiency is more influenced by the spatial object granularity than the size of the rule set.
基金
supported by the National Natural Science Foundation of China(Nos.51204185 and 41674030)
Natural Youth Science Foundation of Jiangsu Province,China(No.BK20140185)
China Postdoctoral Science Foundation(No.2016M601909)
the Fundamental Research Funds for the Central Universities(No.2014QNA44)
