SafeDpi

MaRDI QIDQ14537swMATHFDO

Official website https://www.scss.tcd.ie/Matthew.Hennessy/pubs/sdpifinal.pdf

Described by source

• Foundations of Software Science and Computation Structures

Cited in

(20)

• Mobility control via passports
• JoCaml
• VESTA
• Towards a behavioural theory of access and mobility control in distributed systems
• ULM
• MetaOCaml
• XPi
• Behavioural equivalences for dynamic web data
• The seal calculus
• safeDpi: a language for controlling mobile code
• Jif
• Types for role-based access control of dynamic web data
• Howe’s Method for Calculi with Passivation
• PLAN
• A type system for Discretionary Access Control
• MJ
• Type-based security for mobile computing integrity, secrecy and liveness
• Acute: High-level programming language design for distributed computation
• Global Computing
• Characterizing contextual equivalence in calculi with passivation

This page was built for software: SafeDpi