Poster: Reasoning Based on Imperfect Context Data in Adaptive Security

Sara Sartoli, Akbar Siami Namin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Abstract

Enabling software systems to adjust their protection in continuously changing environments with imperfect context information is a grand challenging problem. The issue of uncertain reasoning based on imperfect information has been overlooked in traditional logic programming with classical negation when applied to dynamic systems. This paper sketches a non-monotonic approach based on Answer Set Programming to reason with imperfect context data in adaptive security where there is little or no knowledge about certainty of the actions and events.

Original languageEnglish
Title of host publicationProceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015
PublisherIEEE Computer Society
Pages835-836
Number of pages2
ISBN (Electronic)9781479919345
DOIs
StatePublished - Aug 12 2015
Event37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 - Florence, Italy
Duration: May 16 2015May 24 2015

Publication series

NameProceedings - International Conference on Software Engineering
Volume2
ISSN (Print)0270-5257

Conference

Conference37th IEEE/ACM International Conference on Software Engineering, ICSE 2015
CountryItaly
CityFlorence
Period05/16/1505/24/15

Keywords

  • Adaptive security
  • Imperfect data
  • Non-monotonic logic

Fingerprint Dive into the research topics of 'Poster: Reasoning Based on Imperfect Context Data in Adaptive Security'. Together they form a unique fingerprint.

  • Cite this

    Sartoli, S., & Namin, A. S. (2015). Poster: Reasoning Based on Imperfect Context Data in Adaptive Security. In Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015 (pp. 835-836). [7203093] (Proceedings - International Conference on Software Engineering; Vol. 2). IEEE Computer Society. https://doi.org/10.1109/ICSE.2015.272