Security-by-contract on the .NET platform
- 31 December 2008
- journal article
- Published by Elsevier BV in Information Security Technical Report
- Vol. 13 (1), 25-32
- https://doi.org/10.1016/j.istr.2008.02.001
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Security enforcement aware software developmentInformation and Software Technology, 2009
- Simulating midlet's security claims with automata modulo theoryPublished by Association for Computing Machinery (ACM) ,2008
- A flexible security architecture to support third-party applications on mobile devicesPublished by Association for Computing Machinery (ACM) ,2007
- Composing security policies with polymerPublished by Association for Computing Machinery (ACM) ,2005
- The design and implementation of a certifying compilerACM SIGPLAN Notices, 1998