Course F21CN: Computer Network Security

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.


  • Basic knowledge of computer networking,
  • Foundational knowledge of formal methods,
  • Basic Linux and shell usage,
  • Solid Java programming skills.

Permanent link to this article: