Dynamic management of capabilities in a network aware coordination language
DOI10.1016/J.JLAP.2008.12.001zbMATH Open1183.68041OpenAlexW1976908960WikidataQ57650750 ScholiaQ57650750MaRDI QIDQ1035673FDOQ1035673
Authors: Daniele Gorla, Rosario Pugliese
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
Recommendations
Theory of programming languages (68N15) Network design and communication in computer systems (68M10)
Cites Work
- Klava: a Java package for distributed and mobile applications
- Types for access control
- Mobile values, new names, and secure communication
- Generative communication in Linda
- A calculus of mobile agents
- Resource access control in systems of mobile agents
- Dynamic Access Control in a Concurrent Object Calculus
- Mobile ambients
- Foundations of Software Science and Computational Structures
- Title not available (Why is that?)
- Cryptographically sound implementations for typed information-flow security
- Cryptographically Sound Implementations for Communicating Processes
- The seal calculus
- Secure implementations of typed channel abstractions
- Coordination with multicapabilities
- Title not available (Why is that?)
- Title not available (Why is that?)
- Types for the ambient calculus
- Validating firewalls using flow logics
- Secure shared data-space coordination languages: a process algebraic survey
- Supporting secure coordination in SecSpaces
- Shape analysis for mobile ambients
- Trust and partial typing in open systems of mobile agents
- Title not available (Why is that?)
Cited In (4)
Uses Software
This page was built for publication: Dynamic management of capabilities in a network aware coordination language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035673)