Securing the .NET programming model

The security of the .NET programming model is studied from the standpoint of fully abstract compilation of C#. A number of failures of full abstraction are identified, and fixes described. The most serious problems have recently been fixed for version 2.0 of the .NET Common Language Runtime.

[1]  Martín Abadi.  Protection in Programming-Language Translations , 1999, Secure Internet Programming.

[2]  Egon Börger,et al.  A high-level modular definition of the semantics of C# , 2005, Theor. Comput. Sci..

[3]  Mads Torgersen,et al.  C# Programming Language , 2003 .