Note: This module is only available to students in the second year of their degree and is not available as an unusual option to students in other years of study.
The module aims to provide students with a grounding in the specification, design, implementation and evaluation of secure systems. This includes coverage of formal, pattern-based and domain-specifics approaches to development, as well as the human factors relevant to secure systems.
On completion of the module the student will be able to:
Understand core security concepts and technologies relating to the development of secure systems.
Understand the significance of context in the development of secure systems, as relating to varying computer architectures and platforms.
- Understand how software development methodologies can be augmented to account for the development of secure systems, including coverage of pattern and model-driven development approaches.
- Understand and have experience applying defensive programming approaches in the development and analysis of secure systems
- Understand and have experience the principles of state-of-the-art approaches for the testing of secure testing, including penetration testing and fuzzing.
- Appreciate the long-term challenges surrounding and approaches for managing secure systems in an organisational context.
See Syllabus page for details