Show simple item record

dc.contributor.authorCauli, Claudia
dc.contributor.authorOrtiz, Magdalena
dc.contributor.authorPiterman, Nir
dc.date.accessioned2022-06-14T07:42:58Z
dc.date.available2022-06-14T07:42:58Z
dc.date.issued2022
dc.identifier.citationProceedings of the 11th International Joint Conference on Automated Reasoningen_US
dc.identifier.urihttps://hdl.handle.net/2077/72008
dc.description.abstractWe 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 as description logic knowledge bases. We introduce an action language to model mutating actions; that is, actions that change the structural configuration of a given deployment by adding, modifying, or deleting resources. We mainly focus on two problems: the problem of determining whether the execution of an action, no matter the parameters passed to it, will not cause the violation of some security requirement (static verification), and the problem of finding sequences of actions that would lead the deployment to a state where (un)desirable properties are (not) satisfied (plan existence and plan synthesis). For all these problems, we provide definitions, complexity results, and decision procedures.en_US
dc.language.isoengen_US
dc.titleActions over Core-closed Knowledge Basesen_US
dc.typeTexten_US
dc.type.svepconference paper, peer revieweden_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record