Browsing IT Faculty / IT-fakulteten by Author "Cauli, Claudia"

Now showing items 1-2 of 2

    • Actions over Core-closed Knowledge Bases 

      Cauli, Claudia; Ortiz, Magdalena; Piterman, Nir (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 

      Cauli, Claudia (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 ...