Publication | Open Access

A zonotopic set-invariance analysis of replay attacks affecting the supervisory layer

Hardware SecurityEngineeringSurvivable SystemInformation SecurityVerificationSupervisory LayerSystems EngineeringReplay AttacksResilient Control SystemControl System SecurityComputer ScienceZonotopic Set-invariance AnalysisFormal VerificationSignal ProcessingControl Protocol