SafeDpi
From MaRDI portal
Software:14537
No author found.
No records found.
Related Items (12)
Towards a behavioural theory of access and mobility control in distributed systems ⋮ Howe’s Method for Calculi with Passivation ⋮ Acute: High-level programming language design for distributed computation ⋮ Characterizing contextual equivalence in calculi with passivation ⋮ Types for Role-Based Access Control of Dynamic Web Data ⋮ Behavioural equivalences for dynamic web data ⋮ Global Computing ⋮ Mobility control via passports ⋮ A type system for Discretionary Access Control ⋮ The seal calculus ⋮ safeDpi: a language for controlling mobile code ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
This page was built for software: SafeDpi
