Securing the .NET programming model

DOI10.1016/J.TCS.2006.08.014zbMath1153.68350OpenAlexW1969600954WikidataQ56092886 ScholiaQ56092886MaRDI QIDQ860846

Andrew J. 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

securityfull abstractioncontextual equivalence.NETC\(^{\#}\)

Mathematics Subject Classification ID

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

Cites Work

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

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