Formalising a method for modelling critical infrastructure systems

This research delivers a multifaceted methodology that underpins a practical security analysis and system modelling framework applicable to critiquing modern critical infrastructure systems. The intent, to identify potential system security issues and gain operational insights that will contribute to improving system resilience, availability and ameliorate incident management responses for Australian critical infrastructure systems.