Dynamic management of capabilities in a network aware coordination language
type: Item
instance of: scholarly article
title: Dynamic management of capabilities in a network aware coordination language
zbMATH Open document ID: 1183.68041
author: Daniele Gorla
author: Rosario Pugliese
published in: The Journal of Logic and Algebraic Programming
publication date: 2009-11-04T00:00:00Z
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 5624923
zbMATH Keywords: capability-based access control
zbMATH Keywords: process distribution and mobility
zbMATH Keywords: resource usage
zbMATH Keywords: mobility control
Wikidata QID: Q57650750
describes a project that uses: Saner
describes a project that uses: Klava
describes a project that uses: TuCSoN
describes a project that uses: KLAIM
describes a project that uses: LIME
describes a project that uses: Linda
describes a project that uses: EROS
MaRDI profile type: Publication
full work available at URL: j.jlap.2008.12.001
OpenAlex ID: W1976908960
cites work: Mobile values, new names, and secure communication
cites work: Cryptographically Sound Implementations for Communicating Processes
cites work: Klava: a Java package for distributed and mobile applications
cites work: Secure implementations of typed channel abstractions
cites work: Types for the ambient calculus
cites work: Mobile ambients
cites work: The seal calculus
cites work: Dynamic Access Control in a Concurrent Object Calculus
cites work: Q4673434
cites work: Types for access control
cites work: Q2766538
cites work: Secure shared data-space coordination languages: a process algebraic survey
cites work: A calculus of mobile agents
cites work: Cryptographically sound implementations for typed information-flow security
cites work: Generative communication in Linda
cites work: Q4449169
cites work: Q3413369
cites work: Q4709018
cites work: Resource access control in systems of mobile agents
cites work: Foundations of Software Science and Computational Structures
cites work: Validating firewalls using flow logics
cites work: Shape analysis for mobile ambients
cites work: Trust and partial typing in open systems of mobile agents
cites work: Coordination with multicapabilities
DOI: 10.1016/J.JLAP.2008.12.001
description: scientific article; zbMATH DE number 5624923