Imagen de Portada
Código QR

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...

Descripción completa

Publicado en:Computer (00189162) Vol. 49; no. 12; pp. 80 - 84
Autores principales: Hu, Vincent C., Kuhn, Rick
Formato: Artículo
Publicado: IEEE Dec2016
Materias:
Computer access control
Computer security
Reliability in engineering
Computer software testing
Computers in medical care
Acceso en línea:Ver este registro en EBSCOhost
Sumario: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.