Exploiting Hot Spots in Heuristic Safety Analysis of Dynamic Access Control Models Topics: Access Control; Formal Methods for Security; Security and Privacy Policies; Security Engineering In Proceedings of the 17th International Joint Conference on e-Business and Telecommunications SECRYPT - Volume 1, 522-532, 2020 , Lieusaint - Paris, France