Compare

Quick Facts

Medium Of InstructionsMode Of LearningMode Of Delivery
EnglishSelf StudyVideo and Text Based

Courses and Certificate Fees

Certificate AvailabilityCertificate Providing Authority
yesFuturelearn

The Syllabus

System Development Life Cycle
  • Welcome to Short Course 1
  • History of system development and security
  • Basic security primitives and methods 
  • Summary
Legal and Ethical Considerations
  • Welcome to Week 2
  • Security standards in system development
  • Legal and ethical considerations
  • Summary

Applying Secure Design Principles
  • Welcome to Short Course 2
  • Identifying system threats, vulnerabilities and risks
  • Core secure design principles
  • Summary
Applying Formal Methods
  • Welcome to Week 2
  • Introduction to formal specification
  • Introduction to formal modelling
  • Summary

Implementing Secure Systems
  • Welcome to Short Course 3
  • Principles of secure programming
  • Considering layers of security and operational practices
  • Robust operation practices
  • Summary
Managing Secure System Development
  • Welcome to Week 2
  • Hazard analysis in system development
  • Managing the development of secure systems
  • Summary

Testing Practices for Secure Systems
  • Welcome to Short Course 4
  • System and software testing
  • Summary
Formal Verification
  • Welcome to Week 2
  • Formal verification
  • State space analysis
  • Summary

Revision Part 1
  • Welcome to Short Course 5
  • Legislation revision
  • Security standards revision
  • System Development Lifecycle revision
  • Secure design principles revision
  • Formal modelling revision
  • Summary
Revision Part 2
  • Welcome to Week 2
  • Secure programming principles revision
  • Hazard analysis revision
  • Formal verification techniques revision
  • Model checking and Computation Tree Logic revision
  • Summary

Articles

Student Community: Where Questions Find Answers

Ask and get expert answers on exams, counselling, admissions, careers, and study options.