A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B.
Giles HowardMichael J. ButlerJohn ColleyVladimiro SassonePublished in: Int. J. Crit. Comput. Based Syst. (2019)
Keyphrases
- critical infrastructure
- cyber security
- cyber attacks
- cyber defense
- information security
- business continuity
- risk analysis
- smart grid
- control system
- data acquisition
- homeland security
- public safety
- access control
- security issues
- countermeasures
- intrusion detection
- knowledge discovery
- information systems
- real time
- risk assessment
- risk management
- emergency management
- privacy issues
- low cost