Confined types in Java

DOI10.1002/SPE.369MaRDI QIDQ4791055zbMATH OpenOpenAlexFDO

Authors Jan Vitek, Boris Bokowski

Publication date 4 February 2003

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.369

zbMATH Keywords

aliasingJavaobject-orientationsecuritysharing

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Confinement framework for encapsulating objects
• Type-based confinement
• Featherweight generic confinement
• A semantic model of confinement and locality theorem
• Representation independence, confinement and access control (extended abstract)

Cites work

• A lattice model of secure information flow
• A method for obtaining digital signatures and public-key cryptosystems
• A mode system for flexible alias protection
• Alias burying: Unique variables without destructive reads
• scientific article; zbMATH DE number 986407 (Why is no real title available?)

Cited in

(10)

• Confinement framework for encapsulating objects
• Representing Java classes in a typed intermediate language
• Properties of Java Simple Closures
• Featherweight generic confinement
• A semantic model of confinement and locality theorem
• JAC—Access right based encapsulation for Java
• Representation independence, confinement and access control (extended abstract)
• Type-based confinement
• Secure the clones
• Secure the clones. Static enforcement of policies for secure object copying

This page was built for publication: Confined types in Java

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