SafeDpi

swMATH1989MaRDI QIDQ14537FDOQ14537

Author name not available (Why is that?)

Described by source

• Foundations of Software Science and Computation Structures

Cited In (12)

• 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
• Global Computing
• Behavioural equivalences for dynamic web data
• Mobility control via passports
• 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