# A logic-based framework for the security analysis of Industrial Control Systems

> Research article (Automatic Control and Computer Sciences, 2017) · cited 11× · AI/ML

**Wikidata**: [openalex:W2586598394](https://www.wikidata.org/wiki/openalex:W2586598394)  
**Source**: https://4ort.xyz/entity/a-logic-based-framework-for-the-security-analysis-of-industrial-control-systems