A Calculus for Modeling Floating Authorizations

DOI10.1007/978-3-319-92612-4_6MaRDI QIDQ5881536zbMATH OpenOpenAlexFDO

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

Publication date 10 March 2023

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-92612-4_6

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

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

Cites work

• Dynamic management of capabilities in a network aware coordination language
• Dynamic role authorization in multiparty conversations
• Hide and new in the -calculus
• Resource Usage Analysis for the Pi-Calculus
• Spatial and behavioral types in the pi-calculus
• The -calculus: A theory of mobile processes

Cited in

(1)

• 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 Q5881536)