Semantic model for action-based adaptive security

Sara Sartoli, Akbar Siami Namin

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations


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.

Original languageEnglish
Title of host publication32nd Annual ACM Symposium on Applied Computing, SAC 2017
PublisherAssociation for Computing Machinery
Number of pages6
ISBN (Electronic)9781450344869
StatePublished - Apr 3 2017
Event32nd Annual ACM Symposium on Applied Computing, SAC 2017 - Marrakesh, Morocco
Duration: Apr 4 2017Apr 6 2017

Publication series

NameProceedings of the ACM Symposium on Applied Computing
VolumePart F128005


Conference32nd Annual ACM Symposium on Applied Computing, SAC 2017


  • Access control
  • Adaptive security
  • Answer set programming
  • Formal methods
  • Topology Awareness


Dive into the research topics of 'Semantic model for action-based adaptive security'. Together they form a unique fingerprint.

Cite this