Model based security verification of Cyber-Physical System based on Petrinet: A case study of Nuclear power plant
Dipty Tripathi, Lalit Kumar Singh, Anil Kumar Tripathi, Amrita Chaturvedi
Topics & Concepts
Cyber-physical systemNuclear power plantComputer scienceComputer securityNuclear powerNuclear engineeringPhysicsNuclear physicsOperating systemEngineeringSmart Grid Security and ResilienceInformation and Cyber SecurityNetwork Security and Intrusion Detection