School of Computing and Information Technology INTEGRATING SECURITY PROPERTIES WITH SYSTEMS DESIGN ARTEFACTS