The following pages link to SafeDpi (Q14537):
Displaying 12 items.
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Mobility control via passports (Q1012123) (← links)
- Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- The seal calculus (Q2566220) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- Types for Role-Based Access Control of Dynamic Web Data (Q3003511) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
- A type system for Discretionary Access Control (Q3395314) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
- Acute: High-level programming language design for distributed computation (Q5308092) (← links)
- Global Computing (Q5464841) (← links)
