Search
Now showing items 1-1 of 1
Actions over Core-closed Knowledge Bases
(2022)
We present new results on the application of semantic- and knowledge-based reasoning techniques to the analysis of cloud deployments. In particular, to the security of Infrastructure as Code configuration files, encoded ...