Cover Image
QR Code

Access Control Policy Verification.

To ensure that an access control (AC) system is safe, there must be a reliable means to verify that the specified AC policy model conforms to the safety requirements and policy author's intentions. A general verification approach includes black-box and white-box testing, as well as the generation of...

Full description

Published in:Computer (00189162) Vol. 49; no. 12; pp. 80 - 84
Main Authors: Hu, Vincent C., Kuhn, Rick
Format: Article
Published: IEEE Dec2016
Subjects:
Computer access control
Computer security
Reliability in engineering
Computer software testing
Computers in medical care
Online Access:View this record in EBSCOhost
Summary:To ensure that an access control (AC) system is safe, there must be a reliable means to verify that the specified AC policy model conforms to the safety requirements and policy author's intentions. A general verification approach includes black-box and white-box testing, as well as the generation of sufficient test cases to check the correctness of model implementations.