窦林名

Professor  

E-Mail:

School/Department:矿业工程学院

Gender:Male

Degree:Doctor


Paper Publications

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

Hits:

DOI number:10.1080/19475705.2024.2347420

Affiliation of Author(s):矿业工程学院

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

First Author:Zhou, Kunyou

Co-author:doulinming,Kan, Jiliang,Yang, Ke,Li, Jiazhuo,Ma, Xiaotao

Indexed by:Journal paper

Volume:v 15,n 1,

ISSN No.:19475705

Translation or Not:no

Date of Publication:2024-01-01

Scan Code to Visit My Home Page