London 20 & 21st May 2010, Westminster Conference Centre

Developing secure components for embedded systems

This presentation will make the case for using a fundamental renewal of key elements of UK national infrastructure to create the demand for relatively simple secure embedded systems.  Such systems would have their properties expressed in formal language and their development carried out using languages that can be subjected to rigorous analysis, so that they can be shown to have the required properties.  Through the creation of such an evident market, it is hoped to drive a renaissance in the research, tools and training related to developing certifiable secure software…

Prof Jim Norton

Chair – Steering Group, Secure Software Development Partnership