COMPM028 - Language Based Security
This database contains the 2016-17 versions of syllabuses. Syllabuses from the 2015-16 session are available here.
Note: Whilst every effort is made to keep the syllabus and assessment records correct, the precise details must be checked with the lecturer(s).
|Code||COMPM028 (Also taught as: COMPGS10)|
|Prerequisites||An understanding of the basics of programming and software engineering.|
|Taught By||David Clark (50%)|
|Aims||The aim of this module is to provide students with specialist knowledge and understanding to solve software related problems associated with the security of software systems.|
|Learning Outcomes||Successful completion of this module will provide students with an understanding of the relationship between computer program design and security, how various security-related properties of computer programs are formulated and guaranteed, and in-depth knowledge of a variety of contexts in which understanding can be applied.|
The course covers in depth major issues in computer security related to computer programming, in particular it provides a detailed treatment of theory and practice for:
- Vulnerabilities and faults
- Secure information flow
- Semantics based malwar