Security-by-contract on the .NET platform

Lieven Desmet, Wouter Joosen, Fabio Massacci, Pieter Philippaerts, Frank Piessens, Ida Siahaan, Dries Vanoverberghe. Security-by-contract on the .NET platform. Inf. Sec. Techn. Report, 13(1):25-32, 2008. [doi]

Abstract

Abstract is missing.