The purpose of Course F21CN Computer Network Security is to provide a solid understanding of the main issues related to security in modern networked computer systems. This covers underlying concepts and foundations of computer security, basic knowledge about security-relevant decisions in designing IT infrastructures, techniques to secure complex systems and practical skills in managing a range of systems, from personal laptop to large-scale infrastructures. The course structure is designed to provide solid foundations in the first half of the course, and discuss concrete application scenarios in the second half.
Learning Objectives:
- Extensive, detailed and critical understanding of the concepts, issues, principles and theories of computer network security
- Detailed and practical understanding of formalisms for specifying security related properties and validating them using model checking
- Critical theoretical and detailed practical knowledge of a range of computer network security technologies as well as network security tools and services
- Practical experience of analysing, designing, implementing and validating solutions to computer network security challenges using common network security tools and formal methods.
Skills imparted:
- Understand the concepts and foundations of computer security, and identify vulnerabilities of IT systems.
- Use basic security tools to enhance system security.
- Develop basic security enhancements in stand-alone applications.
Pre-requisites:
- Basic knowledge of computer networking,
- Foundational knowledge of formal methods,
- Basic Linux and shell usage,
- Solid Java programming skills.
