A calculus for modeling floating authorizations

DOI10.1016/J.JLAMP.2019.06.002MaRDI QIDQ2329444zbMATH OpenOpenAlexWikidataFDO

Authors Ivan Prokić, Jovanka Pantović, Hugo Torres Vieira

Publication date 17 October 2019

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1802.05863

zbMATH Keywords

type systemsprocess calculuslanguage-based securityresource usage

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: Controlling resource usage in distributed systems is a challenging task given the dynamics involved in access granting. Consider, for instance, the setting of floating licenses where access can be granted if the request originates in a licensed domain and the number of active users is within the license limits, and where licenses can be interchanged. 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.

Recommendations

• A Calculus for Modeling Floating Authorizations
• scientific article; zbMATH DE number 2242581
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Space-aware ambients and processes
• Resource access control in systems of mobile agents

Cites work

• A Calculus for Modeling Floating Authorizations
• Dynamic management of capabilities in a network aware coordination language
• Dynamic role authorization in multiparty conversations
• Fundamentals of session types
• Hide and new in the \(\pi\)-calculus
• Spatial and behavioral types in the pi-calculus
• The \(\pi\)-calculus: A theory of mobile processes
• Verification, Model Checking, and Abstract Interpretation
• Work analysis with resource-aware session types

Cited in

(2)

• The \(C_\pi\)-calculus: a model for confidential name passing
• A Calculus for Modeling Floating Authorizations

This page was built for publication: A calculus for modeling floating authorizations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2329444)