COMPGS10 - 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||COMPGS10 (Also taught as: COMPM028)|
|Prerequisites||An understanding of the basics of programming and software engineering.|
|Taught By||David Clark (50%), Jens Krinke(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 variousl 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.|