Mobility control via passports

DOI10.1016/J.IC.2007.11.011MaRDI QIDQ1012123zbMATH OpenOpenAlexFDO

Authors Samuel Hym

Publication date 14 April 2009

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2007.11.011

zbMATH Keywords

control of agent migrationsdistributed computationobservational equivalenceprocess calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Mobility Control Via Passports
• Towards a behavioural theory of access and mobility control in distributed systems
• scientific article; zbMATH DE number 1956519
• scientific article; zbMATH DE number 1231689
• Resource access control in systems of mobile agents

Cites work

• A Distributed Pi-Calculus
• A syntactic approach to type soundness
• Adding recursion to Dpi
• Barbed bisimulation
• Channel dependent types for higher-order mobile processes
• Controlling interference in ambients
• Global Computing
• Global Computing
• scientific article; zbMATH DE number 1954374 (Why is no real title available?)
• scientific article; zbMATH DE number 1954375 (Why is no real title available?)
• scientific article; zbMATH DE number 1759481 (Why is no real title available?)
• Mobility Control Via Passports
• safeDpi: a language for controlling mobile code
• Security policies as membranes in systems for global computing
• Towards a behavioural theory of access and mobility control in distributed systems
• Trustworthy Global Computing
• Types for ambient and process mobility

Cited in

(1)

• Mobility Control Via Passports

Describes a project that uses

Uses Software

• SafeDpi

This page was built for publication: Mobility control via passports

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1012123)