中文
相关论文

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

200 篇论文

Monitoring the threat landscape to be aware of actual or potential attacks is of utmost importance to cybersecurity professionals. Information about cyber threats is typically distributed using natural language reports. Natural language…

The importance of improving the FAIRness (findability, accessibility, interoperability, reusability) of research data is undeniable, especially in the face of large, complex datasets currently being produced by omics technologies.…

Security attacks are hard to understand, often expressed with unfriendly and limited details, making it difficult for security experts and for security analysts to create intelligible security specifications. For instance, to explain Why…

密码学与安全 · 计算机科学 2014-10-17 Muhammad Sabir Idrees , Yves Roudier , Ludovic Apvrille

Human cognition can leverage fundamental conceptual knowledge, like geometric and kinematic ones, to appropriately perceive, comprehend and interact with novel objects. Motivated by this finding, we aim to endow machine intelligence with an…

机器人学 · 计算机科学 2024-09-19 Jianhua Sun , Yuxuan Li , Longfei Xu , Jiude Wei , Liang Chai , Cewu Lu

By exploiting the increasing surface attack of systems, cyber-attacks can cause catastrophic events, such as, remotely disable safety mechanisms. This means that in order to avoid hazards, safety and security need to be integrated,…

计算机科学中的逻辑 · 计算机科学 2019-01-03 Vivek Nigam , Alexander Pretschner , Harald Ruess

Cybercrime and the market for cyber-related compromises are becoming attractive revenue sources for state-sponsored actors, cybercriminals and technical individuals affected by financial hardships. Due to burgeoning cybercrime on new…

密码学与安全 · 计算机科学 2025-02-10 Yee Ching Tok , Davis Yang Zheng , Sudipta Chattopadhyay

Ontologies enable knowledge sharing and interdisciplinary collaboration by providing standardized, structured vocabularies for diverse communities. While logical axioms are a cornerstone of ontology design, natural language elements such as…

形式语言与自动机理论 · 计算机科学 2025-08-29 Paul Fabry , Adrien Barton , Jean-François Éthier

CONTEXT. Attack treesare a recommended threat modeling tool, but there is no established method to compare them. OBJECTIVE. We aim to establish a method to compare "real" attack trees, based on both the structure of the tree itself and the…

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

Todays market evolution and high volatility of business requirements put an increasing emphasis on the ability for systems to accommodate the changes required by new organizational needs while maintaining security objectives satisfiability.…

其他计算机科学 · 计算机科学 2012-11-21 Manjula Shenoy. K , K. C. Shet , U. Dinesh Acharya

Ontology-based data integration has been one of the practical methodologies for heterogeneous legacy database integrated service construction. However, it is neither efficient nor economical to build the cross-domain ontology on top of the…

数据库 · 计算机科学 2021-03-16 Yuanwei Zhao , Lan Huang , Bo Wang , Dongxu Zhang , Simone Bocca , Fausto Giunchiglia , Rui Zhang

Large Language Models (LLMs) are increasingly integrated into safety-critical workflows, yet existing security analyses remain fragmented and often isolate model behavior from the broader system context. This work introduces a goal-driven…

密码学与安全 · 计算机科学 2026-03-10 Neha Nagaraja , Hayretdin Bahsi

Reasoning with ontologies is one of the core fields of research in Description Logics. A variety of efficient reasoner with highly optimized algorithms have been developed to allow inference tasks on expressive ontology languages such as…

人工智能 · 计算机科学 2015-10-01 Nourhène Alaya , Sadok Ben Yahia , Myriam Lamolle

Background. Most tutorial ontologies focus on illustrating one aspect of ontology development, notably language features and automated reasoners, but ignore ontology development factors, such as emergent modelling guidelines and ontological…

人工智能 · 计算机科学 2019-05-24 C Maria Keet

Deep learning models, while effective and versatile, are becoming increasingly complex, often including multiple overlapping networks of arbitrary depths, multiple objectives and non-intuitive training methodologies. This makes it…

人工智能 · 计算机科学 2018-05-11 Iraklis A. Klampanos , Athanasios Davvetas , Antonis Koukourikos , Vangelis Karkaletsis

Security is a subject of increasing attention in our actual society in order to protect critical resources from information disclosure, theft or damage. The informal model of attack trees introduced by Schneier, and widespread in the…

计算机科学与博弈论 · 计算机科学 2022-09-22 Thomas Brihaye , Sophie Pinchinat , Alexandre Terefenko

Personal service robots are increasingly used in domestic settings to assist older adults and people requiring support. Effective operation involves not only physical interaction but also the ability to interpret dynamic environments,…

机器人学 · 计算机科学 2025-09-29 Margherita Martorana , Francesca Urgese , Ilaria Tiddi , Stefan Schlobach

Effective Cyber Threat Intelligence (CTI) relies upon accurately structured and semantically enriched information extracted from cybersecurity system logs. However, current methodologies often struggle to identify and interpret malicious…

密码学与安全 · 计算机科学 2026-04-28 Luca Cotti , Anisa Rula , Devis Bianchini , Federico Cerutti

We provide the first formal foundation of SAND attack trees which are a popular extension of the well-known attack trees. The SAND attack tree formalism increases the expressivity of attack trees by introducing the sequential conjunctive…

密码学与安全 · 计算机科学 2015-03-10 Ravi Jhawar , Barbara Kordy , Sjouke Mauw , Sasa Radomirovic , Rolando Trujillo-Rasua

Efficient ontology debugging is a cornerstone for many activities in the context of the Semantic Web, especially when automatic tools produce (parts of) ontologies such as in the field of ontology matching. The best currently known…

人工智能 · 计算机科学 2012-09-18 Patrick Rodler , Kostyantyn Shchekotykhin , Philipp Fleiss , Gerhard Friedrich

In security analysis, attack trees are a major tool for showing the structural decomposition of attacks and for supporting the evaluation of the quantitative properties (called attributes) of the attacks. However, the validities of…

密码学与安全 · 计算机科学 2022-04-14 Hideaki Nishihara , Yasuyuki Kawanishi , Daisuke Souma , Hirotaka Yoshida