Cyber reasoning with argumentation: Abstracting from incomplete and contradictory evidence

作者: Andy Applebaum , Karl Levitt , Zimi Li , Simon Parsons , Jeff Rowe

DOI: 10.1109/MILCOM.2015.7357513

关键词:

摘要: Information given to system administrators is often incomplete and contradictory. Even worse, are required adhere organizational policies, which frequently contain conflicting goals. While prior work in security has sought alleviate these concerns, much of it strives identify attacks intrusions with approaches that require complete knowledge for analysis. In this paper, we present a framework addresses the challenges facing by using formal argumentation generate big-picture conclusions regarding system. Unlike other schemes, excels situations where information To motivate our approach, detail scenario inspired real-world data taken from U.C. Davis environment.

参考文章(16)
Jason Li, Xinming Ou, Raj Rajagopalan, Uncertainty and Risk Management in Cyber Situational Awareness Ai & Society. ,vol. 46, pp. 51- 68 ,(2010) , 10.1007/978-1-4419-0140-8_4
Henry Prakken, Dan Ionita, Roel Wieringa, Risk Assessment as an Argumentation Game CLIMA XIV Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems - Volume 8143. pp. 357- 373 ,(2013) , 10.1007/978-3-642-40624-9_22
Elizabeth I. Sklar, Simon Parsons, Zimi Li, Jordan Salvit, Senni Perumal, Holly Wall, Jennifer Mangels, Evaluation of a trust-modulated argumentation-based interactive decision-making tool Autonomous Agents and Multi-Agent Systems. ,vol. 30, pp. 136- 173 ,(2016) , 10.1007/S10458-015-9289-1
Jeff Rowe, Karl Levitt, Simon Parsons, Elizabeth Sklar, Andrew Applebaum, Sharmin Jalal, Argumentation logic to assist in security administration new security paradigms workshop. pp. 43- 52 ,(2012) , 10.1145/2413296.2413301
Sushil Jajodia, Steven Noel, Pramod Kalapa, Massimiliano Albanese, John Williams, Cauldron mission-centric cyber situational awareness with defense in depth military communications conference. pp. 1339- 1344 ,(2011) , 10.1109/MILCOM.2011.6127490
Sanjay Modgil, Henry Prakken, The ASPIC+ framework for structured argumentation: a tutorial Argument & Computation. ,vol. 5, pp. 31- 62 ,(2014) , 10.1080/19462166.2013.869766
Loai Zomlot, Sathya Chandran Sundaramurthy, Kui Luo, Xinming Ou, S. Raj Rajagopalan, Prioritizing intrusion analysis using Dempster-Shafer theory Proceedings of the 4th ACM workshop on Security and artificial intelligence - AISec '11. pp. 59- 70 ,(2011) , 10.1145/2046684.2046694
Xinming Ou, Siva Raj Rajagopalan, Sakthiyuvaraja Sakthivelmurugan, An Empirical Approach to Modeling Uncertainty in Intrusion Analysis annual computer security applications conference. pp. 494- 503 ,(2009) , 10.1109/ACSAC.2009.53
O. Sheyner, J. Haines, S. Jha, R. Lippmann, J.M. Wing, Automated generation and analysis of attack graphs ieee symposium on security and privacy. pp. 273- 284 ,(2002) , 10.1109/SECPRI.2002.1004377