safeDpi: a language for controlling mobile code
From MaRDI portal
Publication:2581010
DOI10.1007/s00236-005-0178-yzbMath1081.68003OpenAlexW1983469424MaRDI QIDQ2581010
Julian Rathke, Nobuko Yoshida, Matthew C. B. Hennessy
Publication date: 10 January 2006
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-005-0178-y
Related Items (8)
Towards a behavioural theory of access and mobility control in distributed systems ⋮ Howe’s Method for Calculi with Passivation ⋮ Characterizing contextual equivalence in calculi with passivation ⋮ Types for Role-Based Access Control of Dynamic Web Data ⋮ Mobility control via passports ⋮ A type system for Discretionary Access Control ⋮ The seal calculus ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
Uses Software
Cites Work
- A fully abstract semantics for causality in the \(\pi\)-calculus
- On reduction-based process semantics
- Mobile ambients
- Trust and partial typing in open systems of mobile agents
- Resource access control in systems of mobile agents
- Assigning types to processes
- Towards a behavioural theory of access and mobility control in distributed systems
- The seal calculus
- Stack-based typed assembly language
- The m-calculus
- Channel dependent types for higher-order mobile processes
- Typed behavioural equivalences for processes in the presence of subtyping
- A type system for expressive security policies
- Bisimulation congruences in safe ambients
- Resource usage analysis
- Contextual equivalence for higher-order pi-calculus revisited
- Behavioral equivalence in the polymorphic pi-calculus
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: safeDpi: a language for controlling mobile code
