Deriving invariant checkers for critical infrastructure using axiomatic design principles
Open Access
- 2 April 2021
- journal article
- research article
- Published by Springer Science and Business Media LLC in Cybersecurity
- Vol. 4 (1), 1-24
- https://doi.org/10.1186/s42400-021-00069-7
Abstract
No abstract availableKeywords
This publication has 56 references indexed in Scilit:
- Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code MutationPublished by Springer Science and Business Media LLC ,2016
- Distributed Detection of Single-Stage Multipoint Cyber Attacks in a Water Treatment PlantPublished by Association for Computing Machinery (ACM) ,2016
- Using Process Invariants to Detect Cyber Attacks on a Water Treatment SystemPublished by Springer Science and Business Media LLC ,2016
- SWaT: a water treatment testbed for research and training on ICS securityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2016
- Using extended Axiomatic Design theory to reduce complexities in Global Software Development projectsComputers in Industry, 2015
- Cyber-Physical Systems AttestationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2014
- Application of Axiomatic Design principles to control complexity dynamics in a mixed-model assembly system: a case analysisInternational Journal of Production Research, 2012
- Cyber-physical attacks in power networks: Models, fundamental limitations and monitor designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- Modeling of Manufacturing Complexity in Mixed-Model Assembly LinesJournal of Manufacturing Science and Engineering, 2008
- SmcHD1, containing a structural-maintenance-of-chromosomes hinge domain, has a critical role in X inactivationNature Genetics, 2008