# Deriving invariant checkers for critical infrastructure using axiomatic design principles

> Research article (Cybersecurity, 2021) · cited 17× · AI/ML

**Wikidata**: [openalex:W3157444596](https://www.wikidata.org/wiki/openalex:W3157444596)  
**Source**: https://4ort.xyz/entity/deriving-invariant-checkers-for-critical-infrastructure-using-axiomatic-design-principles