A semantic model for action-based adaptive security

作者: Sara Sartoli , Akbar Siami Namin

DOI: 10.1145/3019612.3019755

关键词: Security engineeringSecurity through obscuritySecurity testingSemantic data modelCountermeasure (computer)Computer security modelCovert channelComputer scienceSecurity information and event managementComputer security

摘要: This paper presents a semantic model to represent topology-based security requirements, recommend measures address any possible violations, and thus make the underlying systems compliant with its requirements. The proposed action-based is capable of adaptively adjusting topological given system in response changes structure operational environment. framework benefits from non-monotonic reasoning reason about execution paths hence actions prevent requirements violations. results our case studies show that using approach enforce measures, not only can we detect violations caused by environment, but also

参考文章(21)
Evgenii Balai, Michael Gelfond, Yuanlin Zhang, Towards Answer Set Programming with Sorts international conference on logic programming. pp. 135- 147 ,(2013) , 10.1007/978-3-642-40564-8_14
Carito Guziolowski, Martin Gebser, Sven Thiele, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Philippe Veber, Repair and prediction (Under Inconsistency) in large biological networks with answer set programming principles of knowledge representation and reasoning. pp. 497- 507 ,(2010)
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub, Clasp: a conflict-driven answer set solver international conference on logic programming. pp. 260- 265 ,(2007) , 10.1007/978-3-540-72200-7_23
Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger Kienle, Marin Litoiu, Hausi Müller, Mauro Pezzè, Mary Shaw, Engineering Self-Adaptive Systems through Feedback Loops Software Engineering for Self-Adaptive Systems. ,vol. 5525, pp. 48- 70 ,(2009) , 10.1007/978-3-642-02161-9_3
Martin Gebser, Torsten Schaub, Sven Thiele, GrinGo: a new grounder for answer set programming international conference on logic programming. pp. 266- 271 ,(2007) , 10.1007/978-3-540-72200-7_24
Dhouha Ayed, Marie-Noelle Lepareux, Cyrille Martins, Analysis of XACML policies with ASP new technologies, mobility and security. pp. 1- 5 ,(2015) , 10.1109/NTMS.2015.7266473
Vladimir Lifschitz, What is answer set programming national conference on artificial intelligence. pp. 1594- 1597 ,(2008)
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello, The DLV system for knowledge representation and reasoning ACM Transactions on Computational Logic. ,vol. 7, pp. 499- 562 ,(2006) , 10.1145/1149114.1149117
Úlfar Erlingsson, Fred B. Schneider, SASI enforcement of security policies: a retrospective new security paradigms workshop. pp. 87- 95 ,(1999) , 10.1145/335169.335201
Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Semantics and complexity of recursive aggregates in answer set programming Artificial Intelligence. ,vol. 175, pp. 278- 298 ,(2011) , 10.1016/J.ARTINT.2010.04.002