Securing the .NET programming model

Theoretical Computer Science

Volumn 364, Issue 3, 2006, Pages 311-317

  Kennedy, Andrew ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

.NET; C music sharp sign ; Contextual equivalence; Full abstraction; Security

Indexed keywords

.NET; COMMON LANGUAGE RUNTIME; CONTEXTUAL EQUIVALENCE; C{MUSIC SHARP SIGN};

ABSTRACTING; COMPUTER SIMULATION; COMPUTER SOFTWARE; CONTEXT SENSITIVE LANGUAGES; FAILURE ANALYSIS; PROBLEM SOLVING; SECURITY OF DATA;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33749590020     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.08.014     Document Type: Article

References (7)

1. M. Abadi, Protection in programming-language translations, in: ICALP '98, Proc. of 25th Internat. Colloq. on Automata, Languages and Programming, Springer, London, UK, 1998, pp. 868-883.
2. Börger E., Fruja N.G., Gervasi V., and Stärk R.F. A high-level modular definition of the semantics of C#. Theoret. Comput. Sci. 336 2-3 (2005) 235-284
3. N.G. Fruja, A modular design for the .NET CLR architecture, in: A.S.D. Beauquier, E. Börger (Eds.), 12th Internat. Workshop on Abstract State Machines, ASM 2005, Paris, France, March 2005, pp. 175-199.
4. Hejlsberg A., Wiltamuth S., and Golde P. The C# Programming Language (2004), Addison-Wesley, Reading, MA
5. Standard ECMA-334, C# Language Specification, third Ed., June 2005. See 〈www.ecma-international.org/publications/standards/Ecma-334.htm〉.
6. Standard ECMA-335, Common Language Infrastructure (CLI), second Ed., December 2002. See 〈www.ecma-international.org/publications/standards/Ecam-335.htm〉.
7. Standard ECMA-335, Common Language Infrastructure (CLI), third Ed., June 2005. See 〈www.ecma-international.org/publications/standards/Ecma-335.htm〉.