A calculus for modeling floating authorizations

DOI10.1016/j.jlamp.2019.06.002zbMath1431.68080arXiv1802.05863OpenAlexW3023431336WikidataQ112881883 ScholiaQ112881883MaRDI QIDQ2329444

Jovanka Pantović, Ivan Prokić, 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)

Related Items

The \(C_\pi\)-calculus: a model for confidential name passing

Cites Work

• Unnamed Item
• Unnamed Item
• Dynamic role authorization in multiparty conversations
• Fundamentals of session types
• Dynamic management of capabilities in a network aware coordination language
• Spatial and behavioral types in the pi-calculus
• Work Analysis with Resource-Aware Session Types
• A Calculus for Modeling Floating Authorizations
• Verification, Model Checking, and Abstract Interpretation