scholarly journals Evaluating Access Control Policies Through Model Checking

2005 ◽  
pp. 446-460 ◽  
Author(s):  
Nan Zhang ◽  
Mark Ryan ◽  
Dimitar P. Guelev
Keyword(s):  
Model Checking ◽  
Access Control ◽  
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

scholarly journals Dynamic access-control policies on XML encrypted data

2008 ◽  
Vol 10 (4) ◽  
pp. 1-37 ◽  
Author(s):  
Luc Bouganim ◽  
Francois Dang Ngoc ◽  
Philippe Pucheral
Keyword(s):  
Access Control ◽  
Control Policies ◽  
Encrypted Data ◽  
Access Control Policies ◽  
Dynamic Access Control

An algebra for composing access control policies

2002 ◽  
Vol 5 (1) ◽  
pp. 1-35 ◽  
Author(s):  
Piero Bonatti ◽  
Sabrina De Capitani di Vimercati ◽  
Pierangela Samarati
Keyword(s):  
Access Control ◽  
Control Policies ◽  
Access Control Policies
Sign in / Sign up

Export Citation Format

Share Document