@inproceedings{8e49e83a0d58480a9b9be3b583e10fcf,
title = "Adaptive Reasoning in the Presence of Imperfect Security Requirements",
abstract = "Self-adaptive systems have received great attention in the last decade. In the context of self-adaptive systems, adaptive security concerns with adjusting protection mechanisms at runtime while changes occur in the operating environment. One of the challenges with self-adaptation paradigm is that the reasoning engine must leverage existing requirements and constraints and at the same time deal with different types of imperfections due to absence of knowledge or data. The problem arises when the existing runtime requirements models offer no explicit support for imperfections. By imperfections, we mean the values of some attributes of interest are not available at certain points. To address this problem, we propose uncertain reasoning based on imperfect requirements using non-monotonic logic. We model security requirements, system executions and changes in operation environment through non-monotonic logic that explicitly represents imperfect information and accounts for uncertainty.",
keywords = "Formal Methods, Logic Programming, Security Requirements, Self-Adaptive Systems",
author = "Sara Sartoli and Namin, {Akbar Siami}",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 2016 IEEE 40th Annual Computer Software and Applications Conference, COMPSAC 2016 ; Conference date: 10-06-2016 Through 14-06-2016",
year = "2016",
month = aug,
day = "24",
doi = "10.1109/COMPSAC.2016.46",
language = "English",
series = "Proceedings - International Computer Software and Applications Conference",
publisher = "IEEE Computer Society",
pages = "498--499",
editor = "William Claycomb and Dejan Milojicic and Ling Liu and Mihhail Matskin and Zhiyong Zhang and Sorel Reisman and Hiroyuki Sato and Zhiyong Zhang and Ahamed, {Sheikh Iqbal}",
booktitle = "Proceedings - 2016 IEEE 40th Annual Computer Software and Applications Conference, COMPSAC 2016",
}