English
Related papers

Related papers: Exploring Answer Set Programming for Provenance Gr…

200 papers

To defend against Advanced Persistent Threats on the endpoint, threat hunting employs security knowledge such as cyber threat intelligence to continuously analyze system audit logs through retrospective scanning, querying, or pattern…

Cryptography and Security · Computer Science 2025-08-11 Mingjun Ma , Tiantian Zhu , Shuang Li , Tieming Chen , Mingqi Lv , Zhengqiu Weng , Guolang Chen

Advanced persistent threats (APTs) are sophisticated cyber attacks that can remain undetected for extended periods, making their mitigation particularly challenging. Given their persistence, significant effort is required to detect them and…

Cryptography and Security · Computer Science 2025-02-05 Parth Atulbhai Gandhi , Prasanna N. Wudali , Yonatan Amaru , Yuval Elovici , Asaf Shabtai

Graph models are helpful means of analyzing computer networks as well as complex system architectures for security. In this paper we evaluate the current state of research for representing and analysing cyber-attack using graph models, i.e.…

Cryptography and Security · Computer Science 2023-11-17 Jasmin Wachter

The explication and the generation of explanations are prominent topics in artificial intelligence and data science, in order to make methods and systems more transparent and understandable for humans. This paper investigates the problem of…

Artificial Intelligence · Computer Science 2019-09-10 Martin Atzmueller , Cicek Güven , Dietmar Seipel

Answer-set programming (ASP) paradigm is a way of using logic to solve search problems. Given a search problem, to solve it one designs a theory in the logic so that models of this theory represent problem solutions. To compute a solution…

Logic in Computer Science · Computer Science 2007-05-23 Deborah East , Miroslaw Truszczynski

This article presents the use of Answer Set Programming (ASP) to mine sequential patterns. ASP is a high-level declarative logic programming paradigm for high level encoding combinatorial and optimization problem solving as well as…

Artificial Intelligence · Computer Science 2017-11-15 Thomas Guyet , Yves Moinard , René Quiniou , Torsten Schaub

Advanced Persistent Threats (APTs) are a main impendence in cyber security of computer networks. In 2015, a successful breach remains undetected 146 days on average, reported by [Fi16].With our work we demonstrate a feasible and fast way to…

Databases · Computer Science 2018-02-02 Timo Schindler

Provenance is a record that describes how entities, activities, and agents have influenced a piece of data; it is commonly represented as graphs with relevant labels on both their nodes and edges. With the growing adoption of provenance in…

Machine Learning · Computer Science 2021-09-16 David Kohan Marzagão , Trung Dong Huynh , Ayah Helal , Sean Baccas , Luc Moreau

Increasingly modern data science platforms today have non-intrusive and extensible provenance ingestion mechanisms to collect rich provenance and context information, handle modifications to the same file using distinguishable versions, and…

Databases · Computer Science 2018-10-17 Hui Miao , Amol Deshpande

Recent advances in AI-powered image editing tools have significantly lowered the barrier to image modification, raising pressing security concerns those related to spreading misinformation and disinformation on social platforms. Image…

Image and Video Processing · Electrical Eng. & Systems 2024-08-27 Keyang Zhang , Chenqi Kong , Shiqi Wang , Anderson Rocha , Haoliang Li

Provenance graphs model causal system-level interactions from logs, enabling anomaly detectors to learn normal behavior and detect deviations as attacks. However, existing approaches rely on brittle, manually engineered rules to build…

Cryptography and Security · Computer Science 2026-03-19 Kushankur Ghosh , Mehar Klair , Kian Kyars , Euijin Choo , Jörg Sander

Identifying, analyzing, and evaluating cybersecurity risks are essential to assess the vulnerabilities of modern manufacturing infrastructures and to devise effective decision-making strategies to secure critical manufacturing against…

Cryptography and Security · Computer Science 2023-12-21 Md Habibor Rahman , Erfan Yazdandoost Hamedani , Young-Jun Son , Mohammed Shafae

Provenance graph-based intrusion detection systems are deployed on hosts to defend against increasingly severe Advanced Persistent Threat. Using Graph Neural Networks to detect these threats has become a research focus and has demonstrated…

Cryptography and Security · Computer Science 2025-08-11 Weiheng Wu , Wei Qiao , Teng Li , Yebo Feng , Zhuo Ma , Jianfeng Ma , Yang Liu

Recent research in both academia and industry has validated the effectiveness of provenance graph-based detection for advanced cyber attack detection and investigation. However, analyzing large-scale provenance graphs often results in…

Cryptography and Security · Computer Science 2024-07-11 Zhenyuan Li , Yangyang Wei , Xiangmin Shen , Lingzhi Wang , Yan Chen , Haitao Xu , Shouling Ji , Fan Zhang , Liang Hou , Wenmao Liu , Xuhong Zhang , Jianwei Ying

Host-based threats such as Program Attack, Malware Implantation, and Advanced Persistent Threats (APT), are commonly adopted by modern attackers. Recent studies propose leveraging the rich contextual information in data provenance to detect…

Cryptography and Security · Computer Science 2025-04-04 Su Wang , Zhiliang Wang , Tao Zhou , Xia Yin , Dongqi Han , Han Zhang , Hongbin Sun , Xingang Shi , Jiahai Yang

We introduce an approach to detecting inconsistencies in large biological networks by using Answer Set Programming (ASP). To this end, we build upon a recently proposed notion of consistency between biochemical/genetic reactions and…

Logic in Computer Science · Computer Science 2010-07-02 Martin Gebser , Torsten Schaub , Sven Thiele , Philippe Veber

Graph knowledge models and ontologies are very powerful modeling and re asoning tools. We propose an effective approach to model network attacks and attack prediction which plays important roles in security management. The goals of this…

Artificial Intelligence · Computer Science 2013-04-04 Ahmad Salahi , Morteza Ansarinia

We propose Answer Set Programming (ASP) as an approach for modeling and solving problems from the area of Declarative Process Mining (DPM). We consider here three classical problems, namely, Log Generation, Conformance Checking, and Query…

Artificial Intelligence · Computer Science 2022-09-27 Francesco Chiariello , Fabrizio Maria Maggi , Fabio Patrizi

Complex heterogeneous dynamic networks like knowledge graphs are powerful constructs that can be used in modeling data provenance from computer systems. From a security perspective, these attributed graphs enable causality analysis and…

Cryptography and Security · Computer Science 2022-03-08 Maya Kapoor , Joshua Melton , Michael Ridenhour , Mahalavanya Sriram , Thomas Moyer , Siddharth Krishnan

Detecting small sets of relevant patterns from a given dataset is a central challenge in data mining. The relevance of a pattern is based on user-provided criteria; typically, all patterns that satisfy certain criteria are considered…

Artificial Intelligence · Computer Science 2020-02-19 Sergey Paramonov , Daria Stepanova , Pauli Miettinen