@inproceedings{efb09834b0a14f70899609d85fd1f54c,
title = "Semantic model for action-based adaptive security",
abstract = "This paper presents a semantic model to represent topology-based security requirements, recommend measures to address any possible security violations, and thus make the underlying systems compliant with its security requirements. The proposed actionbased model is capable of adaptively adjusting the topological model of a given system in response to changes in the structure of its operational environment. The proposed framework benefits from non-monotonic reasoning to reason about possible execution paths and hence recommend actions to prevent security requirements violations. The results of our case studies show that using the proposed approach to enforce security measures, not only can we detect possible security violations caused by changes in the structure of operational environment, but also recommend actions to address possible violations.",
keywords = "Access control, Adaptive security, Answer set programming, Formal methods, Topology Awareness",
author = "Sara Sartoli and Namin, {Akbar Siami}",
note = "Publisher Copyright: Copyright 2017 ACM.; null ; Conference date: 04-04-2017 Through 06-04-2017",
year = "2017",
month = apr,
day = "3",
doi = "10.1145/3019612.3019755",
language = "English",
series = "Proceedings of the ACM Symposium on Applied Computing",
publisher = "Association for Computing Machinery",
pages = "1130--1135",
booktitle = "32nd Annual ACM Symposium on Applied Computing, SAC 2017",
}