Securing the .NET programming model

DOI10.1016/J.TCS.2006.08.014MaRDI QIDQ860846zbMATH OpenOpenAlexWikidataFDO

Authors Andrew Kennedy

Publication date 9 January 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2006.08.014

zbMATH Keywords

full abstractionsecuritycontextual equivalence.NETC\(^{\#}\)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25)

Recommendations

• Towards proving type safety of .NET CIL
• Typing a multi-language intermediate code
• A simple semantics and static analysis for stack inspection
• Programming Languages and Systems
• Formalization of generics for the .NET common language runtime

Cites work

• A high-level modular definition of the semantics of C\(_{\sharp}\)

Cited in

(7)

• Web source code post-processing: a new approach based on classic models and methods
• Formalization of generics for the .NET common language runtime
• Runtime access control in C\(\#\)
• Programming Languages and Systems
• scientific article; zbMATH DE number 2087148 (Why is no real title available?)
• Typing a multi-language intermediate code
• scientific article; zbMATH DE number 1728239 (Why is no real title available?)

This page was built for publication: Securing the .NET programming model

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