Safety problems in access control with temporal constraints

  • Authors:
  • Philippe Balbiani;Fahima Cheikh

  • Affiliations:
  • Institut de recherche en informatique de Toulouse, Université Paul Sabatier, Toulouse, France;Institut de recherche en informatique de Toulouse, Université Paul Sabatier, Toulouse, France

  • Venue:
  • MMM-ACNS'05 Proceedings of the Third international conference on Mathematical Methods, Models, and Architectures for Computer Network Security
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Most of access control mechanisms use the matrix model to represent protection states of computer systems. We present a variant of the access control matrix model obtained by incorporating temporal constraints saying that “subject s has right r on object o since at least duration d”. In connection with this enriched model, we also discuss the decidable and undecidable cases of one of the major themes of computer security, namely the classical safety problem for access control matrices.