SafeDpi

swMATH1989MaRDI QIDQ14537FDOQ14537

Author name not available (Why is that?)

Described by source

• Foundations of Software Science and Computation Structures

Cited In (12)

• Types for Role-Based Access Control of Dynamic Web Data
• 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
• Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
• Global Computing
• Behavioural equivalences for dynamic web data
• Mobility control via passports
• Characterizing contextual equivalence in calculi with passivation
• Acute: High-level programming language design for distributed computation
• A type system for Discretionary Access Control

This page was built for software: SafeDpi