Conflict Analysis and Detection based on Model Checking for Spatial Access Control Policy

Release time:2021-09-28 Hits:

Affiliation of Author(s):计算机科学与技术学院

Funded by:国家自然科学基金项目

First Author:zhangaijuan

Co-author:jicheng,Bao Yu,lixin

Indexed by:Journal paper

Document Code:5b5bb2947b5337f7017b96ccea891fb7

Volume:卷22 期5 页478-488

ISSN No.:1007-0214

Translation or Not:no

Date of Publication:2017-09-11