Search
Now showing items 1-2 of 2
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 ...
Pre-deployment Description Logic-based Reasoning for Cloud Infrastructure Security
(2022-05-25)
Ensuring the security of a cloud application is exceptionally challenging. Not only is cloud infrastructure inherently complex, but also a precise definition of what is secure is hard to give. Business context, regulatory ...