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 Ke

Description

The verification tool and input files of the case study and performance evaluation.

Files

Categories

Security, Model Checking, Access Control

License