Computer Security Resource Center

Computer Security Resource Center

This is an archive
(replace .gov by .rip)
    Presentations 2008

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 June 22, 2020