Careers360 Logo
Interested in this College?
Get updates on Eligibility, Admission, Placements Fees Structure
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

Back to top