Data for: A Topology-Aware Access Control Model for Collaborative Cyber-Physical Spaces: Specification and Verification
Published: 9 April 2019| Version 1 | DOI: 10.17632/2m6c3558xm.1
Contributors:
Yan Cao, Zhiqiu Huang, Jinyong Wang, Changbo KeDescription
The verification tool and input files of the case study and performance evaluation.
Files
Categories
Security, Model Checking, Access Control