CSC8202 : Information Security and Trust
- Offered for Year: 2019/20
- Module Leader(s): Dr Changyu Dong
- Lecturer: Dr Charles Morisset
- Owning School: Computing
- Teaching Location: Newcastle City Campus
|Semester 1 Credit Value:||10|
To cover formal techniques and computer aided verification topics relevant to those involved in the design and validation of information security systems. An appreciation of the importance of distributed environments, and their ethical and professional implications.
Encryption alone does not guarantee security: we must understand the flow of information and the levels of trust that exist between individuals and organisations. This module investigates rigorous techniques for modelling and reasoning about trust, security policies and communication protocols. Established and new approaches, their advantages and limitations, are discussed and demonstrated.
Outline Of Syllabus
I: Security and Trust
1. Basic concepts of security and trust
2. Metrics: quality of service metrics, metrics for security and trust
3. Web of trust and reputation systems
4. Data collection: honey pots, security breaches, data banks
5. Human factors and economic drivers
II: Information Security
1. InfoSec concepts: threats & vulnerabilities, the InfoSec process
2. Access control techniques
3. Identity and authentication
4. Protocol description and analysis
5. Formal approaches to validating protocol properties
|Guided Independent Study||Assessment preparation and completion||24||1:00||24:00||Lecture follow-up|
|Scheduled Learning And Teaching Activities||Lecture||24||1:00||24:00||Lectures|
|Scheduled Learning And Teaching Activities||Practical||8||1:00||8:00||Practicals|
|Guided Independent Study||Project work||16||1:00||16:00||Coursework|
|Guided Independent Study||Independent study||14||1:00||14:00||Background reading|
|Guided Independent Study||Independent study||28||0:30||14:00||Revision for end of Semester exam & exam duration|
Teaching Rationale And Relationship
Lectures will be used to introduce the learning material and for demonstrating the key concepts by example. Students are expected to follow-up lectures within a few days by re-reading and annotating lecture notes to aid deep learning.
This is a very practical subject, and it is important that the learning materials are supported by hands-on opportunities provided by practical classes. Students are expected to spend time on coursework outside timetabled practical classes.
Students aiming for 1st class marks are expected to widen their knowledge beyond the content of lecture notes through background reading.
Students should set aside sufficient time to revise for the end of semester exam.
The format of resits will be determined by the Board of Examiners
|Practical/lab report||1||M||34||2 pieces of equally weighted coursework (16 hours each)|
Assessment Rationale And Relationship
The examination is an appropriate way to assess knowledge of theoretical, including ethical, underpinnings and practical skills tested on small-scale problems. The coursework assessment gives a chance to assess practical skills on a more realistic and open-ended problem.
The examination involves the correct interpretation and analysis of precise formal models. Its duration is set to allow time for this to be done accurately.
N.B. This module has both “Exam Assessment” and “Other Assessment” (e.g. coursework). If the total mark for either assessment falls below 40%, the maximum mark returned for the module will normally be 40%.