A Calculus for Modeling Floating Authorizations - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2018

A Calculus for Modeling Floating Authorizations

Résumé

Controlling resource usage in distributed systems is a challenging task given the dynamics involved in access granting. Consider, e.g., the setting of floating licenses where access can be granted if the request originates in a licensed domain and if the number of active users is within the license limits. Access granting in such scenarios is given in terms of floating authorizations, addressed in this paper as first class entities of a process calculus model, encompassing the notions of domain, accounting and delegation. We present the operational semantics of the model in two equivalent alternative ways, each informing on the specific nature of authorizations. We also introduce a typing discipline to single out systems that never get stuck due to lacking authorizations, addressing configurations where authorization assignment is not statically prescribed in the system specification.
Fichier principal
Vignette du fichier
469043_1_En_6_Chapter.pdf (323.32 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01824819 , version 1 (27-06-2018)

Licence

Identifiants

Citer

Jovanka Pantović, Ivan Prokić, Hugo Torres Vieira. A Calculus for Modeling Floating Authorizations. 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.101-120, ⟨10.1007/978-3-319-92612-4_6⟩. ⟨hal-01824819⟩
53 Consultations
29 Téléchargements

Altmetric

Partager

More