中文
相关论文

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

200 篇论文

We explore the role of ontologies in enhancing hybrid modeling and simulation through improved semantic rigor, model reusability, and interoperability across systems, disciplines, and tools. By distinguishing between methodological and…

人工智能 · 计算机科学 2025-06-17 John Beverley , Andreas Tolk

Information Security in the cyber world is a major cause for concern, with a significant increase in the number of attack surfaces. Existing information on vulnerabilities, attacks, controls, and advisories available on the web provides an…

计算与语言 · 计算机科学 2021-12-17 Lalit Mohan Sanagavarapu , Vivek Iyer , Raghu Reddy

Despite the impressive adaptability of large language models (LLMs), challenges remain in ensuring their security, transparency, and interpretability. Given their susceptibility to adversarial attacks, LLMs need to be defended with an…

人工智能 · 计算机科学 2024-10-11 Tomas Bueno Momcilovic , Beat Buesser , Giulio Zizzo , Mark Purcell , Dian Balta

This paper analyzes the proliferation of cybersecurity ontologies, arguing that this surge cannot be explained solely by technical shortcomings related to quality, but also by a credibility deficit - a lack of trust, endorsement, and…

密码学与安全 · 计算机科学 2025-12-02 Antoine Leblanc , Jacques Robin , Nourhène Ben Rabah , Zequan Huang , Bénédicte Le Grand

The volume, variety, and velocity of change in vulnerabilities and exploits have made incident threat analysis challenging with human expertise and experience along. Tactics, Techniques, and Procedures (TTPs) are to describe how and why…

人工智能 · 计算机科学 2023-08-24 Reza Fayyazi , Shanchieh Jay Yang

Fault Tree Analysis (FTA) is a well-established method in failure analysis and is widely used in safety and reliability assessments. While FTA tools enable users to manage complex analyses effectively, they can sometimes obscure the…

系统与控制 · 电气工程与系统科学 2025-07-09 Hamid Jahanian

This preprint specifies quality requirements for a core ontology whose ontological elements such as terms, non-taxonomic relationships, among others, are based on a foundational ontology. The quality requirements are represented in a…

软件工程 · 计算机科学 2021-10-04 Luis Olsina , Maria Fernanda Papa , Guido Tebes , Pablo Becker

Faceted classifications define dimensions for the types of entities included. In effect, the facets provide an "ontological commitment". We compare a faceted thesaurus, the Art and Architecture Thesaurus (AAT), with ontologies derived from…

数字图书馆 · 计算机科学 2018-09-26 Robert B. Allen , Jaihyun Park

Identification of cyber threats is one of the essential tasks for security teams. Currently, cyber threats can be identified using knowledge organized into various formats, enumerations, and knowledge bases. This paper studies the current…

密码学与安全 · 计算机科学 2022-06-30 Lukáš Sadlek , Pavel Čeleda , Daniel Tovarňák

Ontologies serve as a one of the formal means to represent and model knowledge in computer science, electrical engineering, system engineering and other related disciplines. Ontologies within requirements engineering may be used for formal…

软件工程 · 计算机科学 2022-11-22 Hrvoje Belani , Petar Solic , Toni Perkovic

Social engineering has posed a serious threat to cyberspace security. To protect against social engineering attacks, a fundamental work is to know what constitutes social engineering. This paper first develops a domain ontology of social…

密码学与安全 · 计算机科学 2021-08-29 Zuoguang Wang , Hongsong Zhu , Peipei Liu , Limin Sun

The advent of Machine Learning as a Service (MLaaS) has heightened the trade-off between model explainability and security. In particular, explainability techniques, such as counterfactual explanations, inadvertently increase the risk of…

机器学习 · 计算机科学 2025-10-24 Awa Khouna , Julien Ferry , Thibaut Vidal

Threat detection systems rely on rule-based logic to identify adversarial behaviors, yet the conformance of these rules to high-level threat models is rarely verified formally. We present a formal verification framework that models both…

密码学与安全 · 计算机科学 2025-09-17 Dumitru-Bogdan Prelipcean , Cătălin Dima

Threat modeling (TM) is an important aspect of risk analysis and secure software engineering. Graphical threat models are a recommended tool to analyze and communicate threat information. However, the comparison of different graphical…

密码学与安全 · 计算机科学 2025-12-04 Nathan D. Schiele , Olga Gadyatskaya

Widespread deployment of the Internet enabled building of an emerging IT delivery model, i.e., cloud computing. Albeit cloud computing-based services have rapidly developed, their security aspects are still at the initial stage of…

密码学与安全 · 计算机科学 2014-05-26 Takeshi Takahashi , Youki Kadobayashi , Hiroyuki Fujiwara

Reusing ontologies in practice is still very challenging, especially when multiple ontologies are (jointly) involved. Moreover, despite recent advances, the realization of systematic ontology quality assurance remains a difficult problem.…

Air Traffic Control (ATC) is a safety-critical domain in which incorrect interpretation of instructions may lead to severe operational consequences. While large language models (LLMs) demonstrate strong general performance, their…

计算与语言 · 计算机科学 2026-05-13 Yujing Chang , Yash Guleria , Duc-Thinh Pham , Nhut-Huy Pham , Ningli Wang , Vu N. Duong , Sameer Alam

The present study is aimed at analysing the benefits of an ontological approach in Functional Structural Plant Modelling. The ontological approach has been used at two levels, to refine the conceptual modelling approach, and to define the…

应用物理 · 物理学 2022-08-17 Giuliano Vitali

Autonomous AI agents executing multi-step tool sequences face semantic attacks that manifest in behavioral traces rather than isolated prompts. A critical challenge is cross-attack generalization: can detectors trained on known attack…

密码学与安全 · 计算机科学 2026-01-06 Vignesh Iyer

In a world where communication and information sharing are at the heart of our business, the terminology needs are most pressing. It has become imperative to identify the terms used and defined in a consensual and coherent way while…

人工智能 · 计算机科学 2012-03-07 Ahmed Maalel , Habib Hadj mabrouk , Lassad Mejri , Henda Hajjami Ben Ghezela