Cited in
(20)- Towards a behavioural theory of access and mobility control in distributed systems
- Howe’s Method for Calculi with Passivation
- The seal calculus
- safeDpi: a language for controlling mobile code
- Behavioural equivalences for dynamic web data
- Global Computing
- Mobility control via passports
- JoCaml
- VESTA
- MetaOCaml
- ULM
- XPi
- Jif
- PLAN
- MJ
- Characterizing contextual equivalence in calculi with passivation
- Type-based security for mobile computing integrity, secrecy and liveness
- Acute: High-level programming language design for distributed computation
- Types for role-based access control of dynamic web data
- A type system for Discretionary Access Control
This page was built for software: SafeDpi
