Paper Info
Title
A calculus for modeling floating authorizations.
Abstract
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, and report on a preliminary investigation of the behavioral semantics, addressing fundamental properties and informing on the specific nature of our 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. Finally, we present a refinement of the type system which paves the way for obtaining a more efficient type checking procedure.
Year
DOI
Venue
2019
10.1016/j.jlamp.2019.06.002
Journal of Logical and Algebraic Methods in Programming
Keywords
DocType
Volume
Language-based security,Resource usage,Process calculus,Type systems
Journal
107
ISSN
Citations 
PageRank 
2352-2208
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Ivan Prokić102.37
Jovanka Pantović272.94
Hugo Torres Vieira313411.17