XAI Human-Machine collaboration applied to network security
Authors:
Open Access
- 13 May 2024
- journal article
- research article
- Published by Frontiers Media SA in Frontiers in Computer Science
- Vol. 6, 1321238
Abstract
Cyber attacking is easier than cyber defending—attackers only need to find one breach, while the defenders must successfully repel all attacks. This research demonstrates how cyber defenders can increase their capabilities by joining forces with eXplainable-AI (XAI) utilizing interactive human-machine collaboration. With a global shortfall of cyber defenders there is a need to amplify their skills using AI. Cyber asymmetries make propositional machine learning techniques impractical. Human reasoning and skill is a key ingredient in defense and must be embedded in the AI framework. For Human-Machine collaboration to work requires that the AI is an ultra-strong machine learner and can explain its models. Unlike Deep Learning, Inductive Logic Programming can communicate what it learns to a human. An empirical study was undertaken using six months of eavesdropped network traffic from an organization generating up-to 562K network events daily. Easier-to-defend devices were identified using a form of the Good-Turing Frequency estimator which is a promising form of volatility measure. A behavioral cloning grammar in explicit symbolic form was then produced from a single device's network activity using the compression algorithm SEQUITUR. A novel visualization was generated to allow defenders to identify network sequences they wish to explain. Interactive Inductive Logic Programming (the XAI) is supplied the network traffic meta data, sophisticated pre-existing cyber security background knowledge, and one recurring sequence of events from a single device to explain. A co-inductive process between the human cyber defender and the XAI where the human is able to understand, then refute and shape the XAI's developing model, to produce a model that conforms with the data as well as the original device designers programming. The acceptable model is in a form that can be deployed as an ongoing active cyber defense.Keywords
This publication has 28 references indexed in Scilit:
- DARPA's explainableAI(XAI) program: A retrospectiveApplied AI Letters, 2021
- Constraint Answer Set Programming without GroundingTheory and Practice of Logic Programming, 2018
- Ultra-Strong Machine Learning: comprehensibility of programs learned with ILPMachine Learning, 2018
- Machine Learning2012
- SWI-PrologTheory and Practice of Logic Programming, 2011
- Computational Logic and Human Thinking2011
- Machine Learning to Detect Intrusion Strategies2003
- Inductive Logic Programming: Theory and methodsThe Journal of Logic Programming, 1994
- Department of Defense Trusted Computer System Evaluation Criteria1985
- Foundations of Logic Programming1984