A uniform approach to modelling timed protection - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

A uniform approach to modelling timed protection

Résumé

Most of access control mechanisms use the matrix model to represent protection states of computer systems as ternary relations between subjects, rights, and objects. We present in this paper a variant of the matrix model obtained by incorporating time-dependent access control requirements saying, e.g., that such-and-such right may only be given to those subjects who already possess specific rights for at least a certain period. This combination of the access con trol matrix model with temporal reasoning is called timed protection. It constitutes a new approach for the formal design of real-time protection systems where real numbers are used to model time.
Fichier non déposé

Dates et versions

hal-04002031 , version 1 (23-02-2023)

Identifiants

  • HAL Id : hal-04002031 , version 1

Citer

Philippe Balbiani. A uniform approach to modelling timed protection. International Conference on Artificial Intelligence and Applications (AIA 2005), International Association of Science and Technology for Development (IASTED), Feb 2005, Innsbruck, Austria. pp.219--224. ⟨hal-04002031⟩
9 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More