PV4 ⊧ CloudFORMALchecks common security best-practices and user-specified queries of a cloud configuration
- Infrastructure as Code (IaC)
- Security analysis
- Configuration files
- Cloud infrastructure
Type of toolSecurity analyser?
Expected inputcfn (CloudFormation) configuration file
.owl file that can be opened, navigated and queried in Protégé.
The models are automatically checked against common security best-practices. For each of these properties it will determine whether it is
UNKNOWN. These results are outputted in a