HW MSC m01 f21cn
HW MSC m01 f21cn
HW MSC m01 f21cn
11
Credits
15
Hamish Taylor
SBC Sem.
Orkney Sem..
Dubai Sem..
Sem 1
1. Pre-requisites 2. Linked Courses (specify if synoptic) 3. Excluded Courses 4. Replacement Courses 6. The course may be delivered to: 8. Aims
Fundamental knowledge of computer networking, formal methods and Java programming None None Code: Date Of Replacement: UG only PG only UG & PG 5. Degrees for which this is a core course MSc Advanced Internet Applications 7. Available as an Elective?
Yes
No
Impart critical understanding of key concepts, issues, theories and principles of computer network security. Develop detailed theoretical and practical knowledge of foundational issues in computer network security. Provide detailed understanding and practical experience with key services and tools used for computer network security purposes. Give practical experience of analysing requirements, designing, implementing and testing security solutions for computer network applications.
9. Syllabus Introduction concepts, methods, principles, technologies. Formal methods - logics for cryptography: BAN logic, temporal logic, typed first-order logic. Model checking for security. Introducing SPIN/Alloy. Hash functions for data integrity. Identification and authentication: passwords, challenge response, zero knowledge. Attacks on protocols. Modelling of attacks in SPIN/Alloy. Case study: key establishment protocol: symmetric, asymmetric, public key encryption. Basics of cryptography: principles & algorithms - concepts (classification, symmetric vs asymmetric encryption etc); public-key encryption: challenges and algorithms. Key Management - key establishment protocols, key management infrastructures. Proof-carrying-code - concepts (role of trust, authentication-based/free certification, logical foundations; case study: PCC for resources. Operating system security - concepts (vulnerabilities in: multi-user, distributed etc OSs), security-enhanced Linux. X.800 network security model - attacks, mechanisms, services. Digests, symmetric ciphers, JCE. Digital signatures, certificates, signed code. X.509 and PGP certificates. Secure key exchange - SSL/TLS, SSH. Firewalls - gatekeeper proxy, packet filter; Intrusion Detection Systems - signature scanner vs anomaly detector. Hacker software - botnets, port scanners, malware - worms, viruses, trojans, spyware, adware. Malware scanners. Honey pots. Web and e-mail security HTTP authentication, secure HTTP, S/MIME, use of PGP certificates.
1/2
Form C4
Course Code School Delivery: Location & Semester
11
Credits
15
Hamish Taylor
SBC Sem.
Orkney Sem..
Dubai Sem..
Sem 1
10. Learning Outcomes (HWU Core Skills: Employability and Professional Career Readiness) Subject Mastery Understanding, Knowledge and Cognitive Skills Scholarship, Enquiry and Research (Research-Informed Learning)
Extensive, detailed and critical understanding of the concepts, issues, principles and theories of computer network security Detailed and practical understanding of formalisms for specifying security related properties and validating them using model checking Critical theoretical and detailed practical knowledge of a range of computer network security technologies as well as network security tools and services Practical experience of analysing, designing, implementing and validating solutions to computer network security challenges using common network security tools and formal methods. Autonomy, Accountability & Working with Others Communication, Numeracy & ICT
Personal Abilities
Ability to deal with complex issues and make informed judgements about network security in the absence of complete or consistent data. Exercise substantial autonomy and initiative in addressing computer network security challenges. Showing creativity, initiative and team working skills in shared computer network security application development. (PDP) Demonstrate critical reflection on network security issues. (PDP) 12. Re-assessment Methods Duration of Exam
(if applicable)
11. Assessment Methods Method Exam Coursework (3 pieces worth 20% each) Weighting (%) 40% 60% Synoptic courses?
Method Exam
Duration of Exam
(if applicable)
Diet(s) 3
2 hours
2 hours
13. Date and Version Date of Proposal February 2011 Date of Approval by School Committee February 2011 Date of Implementation September 2011 Version Number 1
2/2