| Author(s): |
Chung Tong Hu; David R. Kuhn; Tao Xie; |
| Title: |
Property Verification for Access Control Models via Model Checking |
| Published: |
December 17, 2008 |
| Abstract: |
To formally and precisely capture the security properties that access control should adhere to, access control models are usually written, bridging the rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a new generalized framework for property verification for access control models via model checking. The framework defines a standardized structure for access control models, providing for both property verification and automated generation of complete test cases. Access control models are expressed in the specification language of a model checker and expresses generic access control properties in the property language. Then the approach exploits the model checker to conduct verification of these properties for the access control models. |
| Conference: |
IEEE International Symposium on Trust, Security, and Privacy for Pervasive Applications |
| Location: |
Shanghai, -1 |
| Dates: |
December 17-20, 2008 |
| Research Areas: |
Cybersecurity |
| PDF version: |
 Click here to retrieve PDF version of paper (85KB) |
