Validation of Safety-Like Properties for Entity-Based Access Control Policies. - Sergey A. Afonin; Antonina Bonushkina (ACS, 2018)