scholarly journals Model Checking Agent Knowledge in Dynamic Access Control Policies

2013 ◽  
pp. 448-462 ◽  
Author(s):  
Masoud Koleini ◽  
Eike Ritter ◽  
Mark Ryan
Keyword(s):  
Model Checking ◽  
Access Control ◽  
Control Policies ◽  
Access Control Policies ◽  
Agent Knowledge ◽  
Dynamic Access Control

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

scholarly journals Specifying and Reasoning About Dynamic Access-Control Policies

2006 ◽  
pp. 632-646 ◽  
Author(s):  
Daniel J. Dougherty ◽  
Kathi Fisler ◽  
Shriram Krishnamurthi
Keyword(s):  
Access Control ◽  
Control Policies ◽  
Access Control Policies ◽  
Dynamic Access Control

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

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

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