Evolving access control : formal models and analysis. - Clint Vaalmicki Sieunarine (2011)