中文
相关论文

相关论文: Towards automation of threat modeling based on a s…

200 篇论文

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…

人工智能 · 计算机科学 2013-04-04 Ahmad Salahi , Morteza Ansarinia

For a long time threat modeling was treated as a manual, complicated process. However modern agile development methodologies and cloud computing technologies require adding automatic threat modeling approaches. This work considers two…

密码学与安全 · 计算机科学 2023-03-21 Andrei Brazhuk

Attack Trees (AT) are a popular formalism for security analysis. They are meant to display an attacker's goal decomposed into attack steps needed to achieve it and compute certain security metrics (e.g., attack cost, probability, and…

密码学与安全 · 计算机科学 2025-07-01 Ítalo Oliveira , Stefano M. Nicoletti , Gal Engelberg , Mattia Fumagalli , Dan Klein , Giancarlo Guizzardi

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

Cyber threat intelligence is the provision of evidence-based knowledge about existing or emerging threats. Benefits from threat intelligence include increased situational awareness, efficiency in security operations, and improved…

密码学与安全 · 计算机科学 2023-08-29 Vasileios Mavroeidis , Siri Bromander

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

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

To improve cyber threat analysis practices in cybersecurity, I present a plan to build a formal ontological representation of state actors in cyberspace and of cyber operations. I argue that modelling these phenomena via ontologies allows…

密码学与安全 · 计算机科学 2024-08-06 Giacomo De Colle

The increasing complexity of cyberphysical power systems leads to larger attack surfaces to be exploited by malicious actors and a higher risk of faults through misconfiguration. We propose to meet those risks with a declarative approach to…

密码学与安全 · 计算机科学 2025-06-17 Alexander Geiger , Immanuel Hacker , Ömer Sen , Andreas Ulbig

System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems. This increased complexity is impacting the management of models necessary for designing cyber-physical…

Engineering more secure software has become a critical challenge in the cyber world. It is very important to develop methodologies, techniques, and tools for developing secure software. To develop secure software, software developers need…

软件工程 · 计算机科学 2023-02-14 Nicholas Lasky , Benjamin Hallis , Mounika Vanamala , Rushit Dave , Jim Seliya

We introduce ontology-to-tools compilation as a proof-of-principle mechanism for coupling large language models (LLMs) with formal domain knowledge. Within The World Avatar (TWA), ontological specifications are compiled into executable tool…

This survey investigates how ontologies, semantic log processing, and Large Language Models (LLMs) enhance cybersecurity. Ontologies structure domain knowledge, enabling interoperability, data integration, and advanced threat analysis.…

密码学与安全 · 计算机科学 2025-10-21 Bruno Lourenço , Pedro Adão , João F. Ferreira , Mario Monteiro Marques , Cátia Vaz

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

Ontologies are widely used for representing domain knowledge and meta data, playing an increasingly important role in Information Systems, the Semantic Web, Bioinformatics and many other domains. However, logical reasoning that ontologies…

人工智能 · 计算机科学 2025-04-08 Jiaoyan Chen , Olga Mashkova , Fernando Zhapa-Camacho , Robert Hoehndorf , Yuan He , Ian Horrocks

Malware threat intelligence uncovers deep information about malware, threat actors, and their tactics, Indicators of Compromise(IoC), and vulnerabilities in different platforms from scattered threat sources. This collective information can…

密码学与安全 · 计算机科学 2020-06-23 Nidhi Rastogi , Sharmishtha Dutta , Mohammed J. Zaki , Alex Gittens , Charu Aggarwal

Attack graphs provide a representation of possible actions that adversaries can perpetrate to attack a system. They are used by cybersecurity experts to make decisions, e.g., to decide remediation and recovery plans. Different approaches…

密码学与安全 · 计算机科学 2022-02-09 Kéren Saint-Hilaire , Frédéric Cuppens , Nora Cuppens , Joaquin Garcia-Alfaro

The rapid development of cyber-physical systems creates an increasing demand for a general approach to risk, especially considering how physical and digital components affect the processes of the system itself. In risk analytics and…

信息论 · 计算机科学 2022-12-23 Gal Engelberg , Mattia Fumagalli , Adrian Kuboszek , Dan Klein , Pnina Soffer , Giancarlo Guizzardi

The goal is to take a closer look at progress of knowledge engineering in the field of Semantic Web. Along with theory of Knowledge Representation (KR) and knowledge processing methods such as Description Logic (DL), reasoning mechanisms…

软件工程 · 计算机科学 2015-06-18 Jarosław Waliszko

Threat modeling and risk assessments are common ways to identify, estimate, and prioritize risk to national, organizational, and individual operations and assets. Several threat modeling and risk assessment approaches have been proposed…

密码学与安全 · 计算机科学 2021-10-18 Paul Griffioen , Bruno Sinopoli
‹ 上一页 1 2 3 10 下一页 ›