Browsing Department of Computer Science and Engineering / Institutionen för data- och informationsteknik by Subject "Automated Reasoning"
Now showing items 1-1 of 1
-
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 ...