Type-based confinement

DOI10.1017/S0956796805005691MaRDI QIDQ5717309zbMATH OpenOpenAlexFDO

Authors Tian Zhao, Jens Palsberg, Jan Vitek

Publication date 13 January 2006

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796805005691

zbMATH Keywords

language-based securitysecure object-oriented systems

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Confinement framework for encapsulating objects
• Confined types in Java
• A semantic model of confinement and locality theorem
• Featherweight generic confinement
• Ownership confinement ensures representation independence for object-oriented programs

Cited in

(12)

• Confinement framework for encapsulating objects
• A typed encoding of boxed into safe ambients
• scientific article; zbMATH DE number 1728235 (Why is no real title available?)
• Restricted weak type versus weak type
• Featherweight generic confinement
• Universe Types for Topology and Encapsulation
• Confined types in Java
• Representation independence, confinement and access control (extended abstract)
• Protecting representation with effect encapsulation
• Type Preservation as a Confluence Problem
• A confinement criterion for securely executing mobile code
• Scoped types and aspects for real-time Java memory management

This page was built for publication: Type-based confinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5717309)