Dynamic management of capabilities in a network aware coordination language
From MaRDI portal
Publication:1035673
DOI10.1016/j.jlap.2008.12.001zbMath1183.68041OpenAlexW1976908960WikidataQ57650750 ScholiaQ57650750MaRDI QIDQ1035673
Rosario Pugliese, Daniele Gorla
Publication date: 4 November 2009
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2008.12.001
Network design and communication in computer systems (68M10) Theory of programming languages (68N15)
Related Items (4)
A Calculus for Modeling Floating Authorizations ⋮ Dynamic role authorization in multiparty conversations ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ A calculus for modeling floating authorizations
Uses Software
Cites Work
- Coordination with multicapabilities
- Mobile ambients
- Types for access control
- Validating firewalls using flow logics
- Trust and partial typing in open systems of mobile agents
- Resource access control in systems of mobile agents
- Secure shared data-space coordination languages: a process algebraic survey
- Types for the ambient calculus
- The seal calculus
- Secure implementations of typed channel abstractions
- Cryptographically sound implementations for typed information-flow security
- Cryptographically Sound Implementations for Communicating Processes
- Klava: a Java package for distributed and mobile applications
- Mobile values, new names, and secure communication
- Generative communication in Linda
- Foundations of Software Science and Computational Structures
- Dynamic Access Control in a Concurrent Object Calculus
- A calculus of mobile agents
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Dynamic management of capabilities in a network aware coordination language
