Deriving invariant checkers for critical infrastructure using axiomatic design principles.
Cheah Huei YoongVenkata Reddy PalletiRajib Ranjan MaitiArlindo SilvaChristopher M. PoskittPublished in: Cybersecur. (2021)
Keyphrases
- design principles
- critical infrastructure
- cyber security
- control system
- risk analysis
- data acquisition
- information security
- instructional design
- design process
- software engineering
- user interface
- smart grid
- homeland security
- design patterns
- access control
- database design
- intrusion detection
- database
- information systems
- real time