Pages that link to "Item:Q2581010"
From MaRDI portal
The following pages link to safeDpi: a language for controlling mobile code (Q2581010):
Displaying 8 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)
- The seal calculus (Q2566220) (← 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)
