scholarly journals Automated Analysis of Access Control Policies Based on Model Checking

2020 ◽  
Vol 1 (6) ◽  
Author(s):  
Anh Truong
Keyword(s):  
Model Checking ◽  
Access Control ◽  
Automated Analysis ◽  
Control Policies ◽  
Access Control Policies

Model Checking Distributed Mandatory Access Control Policies

2015 ◽  
Vol 18 (2) ◽  
pp. 1-25 ◽  
Author(s):  
Perry Alexander ◽  
Lee Pike ◽  
Peter Loscocco ◽  
George Coker
Keyword(s):  
Model Checking ◽  
Access Control ◽  
Control Policies ◽  
Mandatory Access Control ◽  
Access Control Policies

scholarly journals Model-Checking Access Control Policies

2004 ◽  
pp. 219-230 ◽  
Author(s):  
Dimitar P. Guelev ◽  
Mark Ryan ◽  
Pierre Yves Schobbens
Keyword(s):  
Model Checking ◽  
Access Control ◽  
Control Policies ◽  
Access Control Policies
Sign in / Sign up

Export Citation Format

Share Document