Models of Security


Content, progress and pedagogy of the module


  • To familiarise the student with the theoretical foundations of security, in the form of (a selection of) models for security, e.g., access control models, secure information flow, calculi of (secure) computation.
  • To enable a deeper understanding of the theoretical (mathematical and computer science) foundations underlying state-of-the-art security tools and techniques.

Learning objectives


  • To know and be able to explain key points of a selection of access control models, e.g., Bell/LaPadula, Biba, Decentralised Label Model, as well as for a selection of other models of security, e.g., secure information flow or approaches based on calculi of computation.
  • To know and be able to explain key theoretical results concerning the models, e.g., undecidability results.


  • To be able to use one or more of the studied theories/models to perform security analyses and evaluations of a small system.
  • To be able to use the studied theories/models to formally prove security properties of (a model of a) system.
  • To be able to understand a formal reasoning and argument for security, e.g., for compliance with high-assurance standards.


  • To be able to identify and research both classical and novel theories and models for security.
  • To be able to use a model of security to model security relevant aspects of a system and identify and formally prove relevant security properties of the system (through the model).

Type of instruction

Types of instruction are listed at the start of ยง17; Structure and contents of the programme.



Name of examModels of Security
Type of exam
Written or oral exam
Assessment7-point grading scale
Type of gradingInternal examination
Criteria of assessmentThe criteria of assessment are stated in the Examination Policies and Procedures

Facts about the module

Danish titleSikkerhedsmodeller
Module codeESNCYSK3K3
Module typeCourse
Duration1 semester
Language of instructionEnglish
Empty-place SchemeYes
Location of the lectureCampus Copenhagen
Responsible for the module


Education ownerMaster of Science (MSc) in Engineering (Cyber Security)
Study BoardStudy Board of Electronics and IT
DepartmentDepartment of Electronic Systems
FacultyThe Technical Faculty of IT and Design