A Knowledge-Based Verification Method for Dynamic Access Control Policies.

Masoud Koleini, Mark Ryan

Browse the full ICFEM paper archive.