Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors

2013 ◽  
pp. 184-198
Author(s):  
Aurel Randolph ◽  
Abdessamad Imine ◽  
Hanifa Boucheneb ◽  
Alejandro Quintero
Keyword(s):  
Access Control ◽  
Specification And Verification

Dynamic Access Control Policies: Specification and Verification

2012 ◽  
Vol 56 (4) ◽  
pp. 440-463 ◽  
Author(s):  
H. Janicke ◽  
A. Cau ◽  
F. Siewe ◽  
H. Zedan
Keyword(s):  
Access Control ◽  
Control Policies ◽  
Access Control Policies ◽  
Specification And Verification ◽  
Dynamic Access Control

A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification

2017 ◽  
Vol 12 (6) ◽  
pp. 1259-1268 ◽  
Author(s):  
Quratulain Alam ◽  
Saif U. R. Malik ◽  
Adnan Akhunzada ◽  
Kim-Kwang Raymond Choo ◽  
Saher Tabbasum ◽  
...  
Keyword(s):  
Cloud Computing ◽  
Access Control ◽  
Formal Specification ◽  
Formal Specification And Verification ◽  
Specification And Verification

A topology-aware access control model for collaborative cyber-physical spaces: Specification and verification

2019 ◽  
Vol 87 ◽  
pp. 101478 ◽  
Author(s):  
Yan Cao ◽  
Zhiqiu Huang ◽  
Changbo Ke ◽  
Jian Xie ◽  
Jinyong Wang
Keyword(s):  
Access Control ◽  
Control Model ◽  
Access Control Model ◽  
Specification And Verification ◽  
Physical Spaces

scholarly journals Specification and verification of a topology-aware access control model for cyber-physical space

2019 ◽  
Vol 24 (5) ◽  
pp. 497-519 ◽  
Author(s):  
Yan Cao ◽  
Zhiqiu Huang ◽  
Shuanglong Kan ◽  
Dajuan Fan ◽  
Yang Yang
Keyword(s):  
Access Control ◽  
Physical Space ◽  
Control Model ◽  
Access Control Model ◽  
Specification And Verification
Sign in / Sign up

Export Citation Format

Share Document