Modelling Dynamic Access Control Policies for Web-Based Collaborative Systems. - Hasan Qunoo; Mark Ryan 001 (DBSec, 2010)

Modelling and verifying dynamic access control policies using knowledge-based model checking. - Hasan Najib Yousif Qunoo (2012)