English
Related papers

Related papers: An ontological lens on attack trees: Toward adequa…

200 papers

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…

Computation and Language · Computer Science 2024-04-12 Lukas Lange , Marc Müller , Ghazaleh Haratinezhad Torbati , Dragan Milchevski , Patrick Grau , Subhash Pujari , Annemarie Friedrich

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…

Cryptography and Security · Computer Science 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…

Robotics · Computer Science 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,…

Logic in Computer Science · Computer Science 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…

Cryptography and Security · Computer Science 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…

Formal Languages and Automata Theory · Computer Science 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…

Cryptography and Security · Computer Science 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.…

Other Computer Science · Computer Science 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…

Databases · Computer Science 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…

Cryptography and Security · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Computer Science and Game Theory · Computer Science 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,…

Robotics · Computer Science 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…

Cryptography and Security · Computer Science 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…

Cryptography and Security · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Cryptography and Security · Computer Science 2022-04-14 Hideaki Nishihara , Yasuyuki Kawanishi , Daisuke Souma , Hirotaka Yoshida