A confinement criterion for securely executing mobile code

MaRDI QIDQ5446174zbMATH OpenFDO

Authors Hervé Grall

Publication date 6 March 2008

zbMATH Keywords

access controllanguage-based securitytyped programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99)

Recommendations

• Type-based security for mobile computing integrity, secrecy and liveness
• A semantic model of confinement and locality theorem
• Automated techniques for provably safe mobile code.
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Type-based confinement

Cited in

(2)

• scientific article; zbMATH DE number 5526621 (Why is no real title available?)
• scientific article; zbMATH DE number 1863561 (Why is no real title available?)

This page was built for publication: A confinement criterion for securely executing mobile code

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