Development of Secure Systems