Securing the .NET Programming Model
Theoretical Computer Science |
Special Issue containing selected articles from APPSEM II Workshop
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.