Undergraduate Course: Computer Security (INFR09025)
|School||School of Informatics
||College||College of Science and Engineering
||Availability||Available to all students
|Credit level (Normal year taken)||SCQF Level 9 (Year 3 Undergraduate)
|Home subject area||Informatics
||Other subject area||None
||Taught in Gaelic?||No
|Course description||Computer Security is concerned with the protection of computer systems and their data from threats which may compromise integrity, availability, or confidentiality; the focus is on threats of a malicious nature rather than accidental. This course aims to give a broad understanding of computer security. Topics include security risks, attacks, prevention and defence methods; techniques for writing secure programs; an overview of the foundations for cryptography, security protocols and access control models.
Entry Requirements (not applicable to Visiting Students)
|| Students MUST have passed:
||Other requirements|| Successful completion of Year 2 of an Informatics Single or Combined Degree, or equivalent by permission of the School. For some parts of the course, good mathematical ability and basic understanding of logic (predicate calculus) are highly desirable. An ability to program in Java may be assumed for practical exercises.
|Additional Costs|| None
Information for Visiting Students
|Displayed in Visiting Students Prospectus?||Yes
Course Delivery Information
|Delivery period: 2011/12 Semester 2, Available to all students (SV1)
||WebCT enabled: No
|Central||Lecture||1-11|| 16:10 - 17:00|
|Central||Lecture||1-11|| 16:10 - 17:00|
||Week 1, Monday, 16:10 - 17:00, Zone: Central. AT LT3 |
|Main Exam Diet S2 (April/May)||2:00|
|Resit Exam Diet (August)||2:00|
Summary of Intended Learning Outcomes
|1 - recognise the security threats against computer systems, and have at least a high-level idea of the ways to address them;
2 - apply techniques and design principles underlying security solutions, including aspects of cryptography and security protocols;
3 - be able to analyse simple security protocols using a formal method;
4 - be able to use the World Wide Web to research the latest security alerts and information.
|Written Examination 100|
Assessed Assignments 0
Oral Presentations 0
Two exercises, one involving implementing application-level security features using Java's security APIs and one an essay on current topics in security.
If delivered in semester 1, this course will have an option for semester 1 only visiting undergraduate students, providing assessment prior to the end of the calendar year.
||* Introduction and background. Risks and attacks: to privacy (theft, surveillance); integrity (fraud); availability (vandalism, denial of service). Additional security properties: authentication, accountability.
* Cryptography: basic functional foundations. Symmetric algorithms, for example: DES, Rijndael, RC4
* Public key cryptography. Algorithms including RSA, ElGamal. Hash functions, including SHA-1. Digital signatures and certificates.
* Authentication: mechanisms and attacks. Protocols for authentication and key exchange, including Needham-Schroeder, Otway-Rees, Kerberos, Diffie-Hellman.
* Formal approaches, including Burrows-Abadi-Needham logic for authentication and its application to security protocol analysis.
* Malicious code and network defences: Trojan horses, viruses and worms, attacks on faulty code. Auditing, intrusion detection, alarms and honey pots.
* Security engineering: security policy models, multi-level systems. Secure kernels and trusted computing bases. Anatomy of attacks, risk assessment, attack trees.
* Present internet technologies, for example: PGP, SSL, SSH, SMIME, DNSSEC, IPsec, firewalls and VPNs. The Java Security Model and security programming in Java.
* Copyright protection. Secure hardware and tamper resistance. Steganography and covert communication. Anonymity.
* Security futures, real-world issues. Topics chosen from: web security, e-commerce and e-cash; legalities; export control, key escrow; information warfare and cyber terrorism; human factors. Recent research areas.
Relevant QAA Computing Curriculum Sections: Security and Privacy
||* Ross Anderson, 'Security Engineering', 2nd Edition, John Wiley & Sons, 2008
* Dieter Gollman, 'Computer Security', John Wiley & Sons, 1999
* Nigel Smart, 'Cryptography: An Introduction', McGraw-Hill, 2003
* John Viega and Gary McGraw, 'Building Secure Software: How to Avoid Security Problems the Right Way', Addison-Wesley, 2003
Timetabled Laboratories 0
Non-timetabled assessed assignments 24
Private Study/Other 52
|Course organiser||Dr Nigel Goddard
Tel: (0131 6)51 3091
|Course secretary||Miss Tamise Totterdell
Tel: 0131 650 9970
© Copyright 2011 The University of Edinburgh - 16 January 2012 6:16 am