Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/2096
Title: | A calculus for modeling floating authorizations | Authors: | Pantović, Jovanka Prokić, Ivan Vieira H. |
Issue Date: | 1-Jan-2018 | Journal: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Abstract: | © IFIP International Federation for Information Processing 2018. 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. | URI: | https://open.uns.ac.rs/handle/123456789/2096 | ISBN: | 9783319926117 | ISSN: | 3029743 | DOI: | 10.1007/978-3-319-92612-4_6 |
Appears in Collections: | FTN Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
1
checked on May 10, 2024
Page view(s)
31
Last Week
11
11
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.