On the Decidability of the Safety Problem for Access Control Policies. - E. Kleiner; T. Newcomb (AVoCS, 2006)