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)

• 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
• Behavioural equivalences for dynamic web data
• Global Computing
• Mobility control via passports
• JoCaml
• VESTA
• MetaOCaml
• ULM
• XPi
• Jif
• PLAN
• MJ
• 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