Securing the .NET programming model

KennedyAndrew

Securing the .NET programming model

2006

KennedyAndrew

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

Keywords:

Programming language
The Internet
Programming paradigm
Discrete mathematics
Abstraction
Mathematics

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations