中文
相关论文

相关论文: An ontological lens on attack trees: Toward adequa…

200 篇论文

In the domain of emergency management during hazard crises, having sufficient situational awareness information is critical. It requires capturing and integrating information from sources such as satellite images, local sensors and social…

社会与信息网络 · 计算机科学 2018-10-31 Manas Gaur , Saeedeh Shekarpour , Amelie Gyrard , Amit Sheth

Ontologies play a critical role in Semantic Web technologies by providing a structured and standardized way to represent knowledge and enabling machines to understand the meaning of data. Several taxonomies and ontologies have been…

数字图书馆 · 计算机科学 2023-05-09 Mahender Kumar , Ruby Rani , Mirko Botarelli , Gregory Epiophaniou , Carsten Maple

Argumentation Frameworks (AFs) are a key formalism in AI research. Their semantics have been investigated in terms of principles, which define characteristic properties in order to deliver guidance for analysing established and developing…

人工智能 · 计算机科学 2022-05-09 Wolfgang Dvořák , Matthias König , Markus Ulbricht , Stefan Woltran

This article addresses the problem of automatically generating attack trees that soundly and clearly describe the ways the system can be attacked. Soundness means that the attacks displayed by the attack tree are indeed attacks in the…

密码学与安全 · 计算机科学 2024-07-11 Olga Gadyatskaya , Sjouke Mauw , Rolando Trujillo-Rasuac , Tim A. C. Willemse

This paper introduces AFDL, a logic-based framework for reasoning about safety, security, and defense interactions in Attack-Fault-Defense Trees, which is a model that captures all safety, security, and defense domains in a single…

计算机科学中的逻辑 · 计算机科学 2025-07-31 Reza Soltani , Stefano M. Nicoletti , Milan Lopuhaä-Zwakenberg , Mariëlle Stoelinga

Automatically generating formal ontologies from unstructured natural language remains a central challenge in knowledge engineering. While large language models (LLMs) show promise, it remains unclear which architectural design choices drive…

人工智能 · 计算机科学 2026-04-28 Abid Talukder , Maruf Ahmed Mridul , Oshani Seneviratne

This work evaluates the performance of Cyber Threat Intelligence (CTI) extraction methods in identifying attack techniques from threat reports available on the web using the MITRE ATT&CK framework. We analyse four configurations utilising…

密码学与安全 · 计算机科学 2025-05-07 Hoang Cuong Nguyen , Shahroz Tariq , Mohan Baruwal Chhetri , Bao Quoc Vo

Attack-awareness recognizes self-awareness for security systems regarding the occurring attacks. More frequent and intense attacks on cloud and network infrastructures are pushing security systems to the limit. With the end of Moore's Law,…

网络与互联网体系结构 · 计算机科学 2020-05-19 Lukas Iffländer , Nishant Rawtani , Lukas Beierlieb , Nicolas Fella , Klaus-Dieter Lange , Samuel Kounev

Companies and network operators perform risk assessment to inform policy-making, guide infrastructure investments or to comply with security standards such as ISO 27001. Due to the size and complexity of these networks, risk assessment…

密码学与安全 · 计算机科学 2021-05-17 Alexander Dax , Robert Künnemann

Ontologies are a standard for semantic schemata in many knowledge-intensive domains of human interest. They are now becoming increasingly important also in areas until very recently dominated by subsymbolic representations and…

密码学与安全 · 计算机科学 2023-01-03 Peter Švec , Štefan Balogh , Martin Homola , Ján Kľuka

Security in LLM agents is inherently contextual. For example, the same action taken by an agent may represent legitimate behavior or a security violation depending on whose instruction led to the action, what objective is being pursued, and…

密码学与安全 · 计算机科学 2026-03-23 Vincent Siu , Jingxuan He , Kyle Montgomery , Zhun Wang , Neil Gong , Chenguang Wang , Dawn Song

Ontologies have been used for the purpose of bringing system and consistency to subject and knowledge areas. We present a criticism of the present mathematical structure of ontologies and indicate that they are not sufficient in their…

数字图书馆 · 计算机科学 2015-03-12 Philip Davies , David Newell , Abigail Davies , Damla Karagozlu

The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization,…

人工智能 · 计算机科学 2018-04-24 Elena Botoeva , Boris Konev , Carsten Lutz , Vladislav Ryzhikov , Frank Wolter , Michael Zakharyaschev

The escalating frequency of cyber-attacks poses significant challenges for organisations, particularly small enterprises constrained by limited in-house expertise, insufficient knowledge, and financial resources. This research presents a…

密码学与安全 · 计算机科学 2026-03-16 Emad Sherif , Iryna Yevseyeva , Vitor Basto-Fernandes , Allan Cook

Engineering projects for railway infrastructure typically involve many subsystems which need consistent views of the planned and built infrastructure and its underlying topology. Consistency is typically ensured by exchanging and verifying…

人工智能 · 计算机科学 2021-10-05 Stefan Bischof , Gottfried Schenner

Modern organizations struggle with insurmountable number of vulnerabilities that are discovered and reported by their network and application vulnerability scanners. Therefore, prioritization and focus become critical, to spend their…

密码学与安全 · 计算机科学 2022-06-23 Constantin Adam , Muhammed Fatih Bulut , Daby Sow , Steven Ocepek , Chris Bedell , Lilian Ngweta

We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint…

数据库 · 计算机科学 2024-02-14 Cristina Feier , Carsten Lutz , Marcin Przybyłko

With the proposition of neural networks for point clouds, deep learning has started to shine in the field of 3D object recognition while researchers have shown an increased interest to investigate the reliability of point cloud networks by…

计算机视觉与模式识别 · 计算机科学 2022-03-24 Hanxiao Tan , Helena Kotthaus

The prominence and use of the concept of cyber risk has been rising in recent years. This paper presents empirical investigations focused on two important and distinct groups within the broad community of cyber-defense professionals and…

密码学与安全 · 计算机科学 2018-06-22 Alessandro Oltramari , Alexander Kott

Large Language Models (LLMs) gain substantial reasoning and decision-making capabilities from thought structures. However, existing methods such as Tree of Thought and Retrieval Augmented Thoughts often fall short in complex tasks due to…

计算与语言 · 计算机科学 2024-12-24 Jinghan Zhang , Xiting Wang , Weijieying Ren , Lu Jiang , Dongjie Wang , Kunpeng Liu