Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

Briefing

Assessing Quality of Policy Properties in Verification of Access Control Policies - Draft

September 27, 2008

Presenters

Dr. Vincent Hu
NIST/CSD

Tao Xie

Evan Martin

JeeHyun Hwang

Media Items
Assessing Quality of Policy Properties in Verification of Access Control Policies - Draft PDF

Parent Project

See: Access Control Policy Testing
Created October 20, 2016, Updated December 01, 2016