02244 Language Based Security
|Taught under open university|
Scope and form:
Lectures, practical exercises, and theoretical exercises.
Duration of Course:
Date of examination:
Type of assessment:
General course objectives:
The students should be able to understand and apply the security formalisms introduced, and to apply the relevant tools and techniques with the aim of solving related problems.
|A student who has met the objectives of the course will be able to:|
- explain the basic concepts introduced in the course and explain the role of language based security in concrete settings;
- apply advanced tools for modeling and analyzing protocols;
- design and motivate a series of experiments for analysing security properties;
- analyse and interpret the results obtained from advanced analysis tools;
- describe the ideas of methods for automated security tools and apply them to small examples;
- identify strengths and weaknesses of different methods;
- given a formal description of a policy, explain its meaning and determine if a given program satisfies the policy;
- given a textual description of a desired policy, adapt an existing formalisation;
- determine the applicability of compositional reasoning for security;
- communicate the results in a clear and precise manner, using a standard format for technical reports.
The course covers security protocols, their modeling and analysis, including techniques and tools that can be used to either detect confidentiality and authentication errors or to guarantee that no such errors can occur. The course also covers other techniques for language based security such as Information Flow, Access Control, and low-level support for security.
Mainly papers from conferences and workshops and selected chapters from books.
|, 322, 120, (+45) 4525 3597,
, 322, 113, (+45) 4525 3346,
, 322, 106, (+45) 4525 3735,
|02 Department of Informatics and Mathematical Modeling|
Registration Sign up:
April 25, 2012|
See course in DTU Course base