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

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)

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

Cites Work

• scientific article; zbMATH DE number 1696438 (Why is no real title available?)
• scientific article; zbMATH DE number 2038704 (Why is no real title available?)
• scientific article; zbMATH DE number 2163047 (Why is no real title available?)
• scientific article; zbMATH DE number 1931734 (Why is no real title available?)
• A calculus of mobile agents
• Coordination with multicapabilities
• Cryptographically Sound Implementations for Communicating Processes
• Cryptographically sound implementations for typed information-flow security
• Dynamic Access Control in a Concurrent Object Calculus
• Foundations of Software Science and Computational Structures
• Generative communication in Linda
• Klava: a Java package for distributed and mobile applications
• Mobile ambients
• Mobile values, new names, and secure communication
• Resource access control in systems of mobile agents
• Secure implementations of typed channel abstractions
• Secure shared data-space coordination languages: a process algebraic survey
• Shape analysis for mobile ambients
• Supporting secure coordination in SecSpaces
• The seal calculus
• Trust and partial typing in open systems of mobile agents
• Types for access control
• Types for the ambient calculus
• Validating firewalls using flow logics

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)