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

• scientific article; zbMATH DE number 2038704
• Trustworthy Global Computing
• scientific article; zbMATH DE number 1231689
• Dynamic Access Control in a Concurrent Object Calculus
• Resource access control in systems of mobile agents

zbMATH Keywords

capability-based access controlmobility controlprocess distribution and mobilityresource usage

Mathematics Subject Classification ID

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)

• A calculus for modeling floating authorizations
• Dynamic role authorization in multiparty conversations
• A Calculus for Modeling Floating Authorizations
• A formal approach to the engineering of domain-specific distributed systems

Uses Software

• Klava
• KLAIM
• LIME
• Linda
• EROS
• Saner
• TuCSoN

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)