Data for: A Topology-Aware Access Control Model for Collaborative Cyber-Physical Spaces: Specification and Verification

Name: Data for: A Topology-Aware Access Control Model for Collaborative Cyber-Physical Spaces: Specification and Verification
Creator: Yan Cao
Published: 2019-04-09T05:27:31.472Z
Keywords: Security, Model Checking, Access Control

Cao, Yan; Huang, Zhiqiu; Wang, Jinyong; Ke, Changbo

doi:10.17632/2m6c3558xm.1

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.

Data for: A Topology-Aware Access Control Model for Collaborative Cyber-Physical Spaces: Specification and Verification

Description

Files

Categories

Licence