English
Related papers

Related papers: Model-Driven Security Analysis of Self-Sovereign I…

200 papers

Autonomous systems must sustain justified confidence in their correctness and safety across their operational lifecycle-from design and deployment through post-deployment evolution. Traditional assurance methods often separate…

Software Engineering · Computer Science 2025-11-20 Dhaminda B. Abeywickrama , Michael Fisher , Frederic Wheeler , Louise Dennis

Increasing communication and self-driving capabilities for road vehicles lead to threats imposed by attackers. Especially attacks leading to safety violations have to be identified to address them by appropriate measures. The impact of an…

Cryptography and Security · Computer Science 2021-08-11 Christian Wolschke , Behrooz Sangchoolie , Jacob Simon , Stefan Marksteiner , Tobias Braun , Hayk Hamazaryan

Agent Skills is an emerging open standard that defines a modular, filesystem-based packaging format enabling LLM-based agents to acquire domain-specific expertise on demand. Despite rapid adoption across multiple agentic platforms and the…

Cryptography and Security · Computer Science 2026-04-06 Zhiyuan Li , Jingzheng Wu , Xiang Ling , Xing Cui , Tianyue Luo

Architecture patterns capture architectural design experience and provide abstract solutions to recurring architectural design problems. They consist of a description of component types and restrict component connection and activation.…

Software Engineering · Computer Science 2017-03-22 Diego Marmsoler , Silvio Degenhardt

The transition to smart grids has increased the vulnerability of electrical power systems to advanced cyber threats. To safeguard these systems, comprehensive security measures-including preventive, detective, and reactive strategies-are…

Cryptography and Security · Computer Science 2024-12-06 Omer Sen , Christoph Pohl , Immanuel Hacker , Markus Stroot , Andreas Ulbig

Design patterns are well practices to share software development experiences. These patterns allow enhancing reusability, readability and maintainability of architecture and code of software applications. As simulation applies computerized…

Software Engineering · Computer Science 2020-08-24 Maamar El Amine Hamri

Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case. An assurance case is a structured argument, often represented with a graphical interface, that presents and supports…

Software Engineering · Computer Science 2014-09-17 Andrew Gacek , John Backes , Darren Cofer , Konrad Slind , Mike Whalen

Supply chain security threats pose new challenges to security risk modeling techniques for complex ICT systems such as the IoT. With established techniques drawn from attack trees and reliability analysis providing needed points of…

Cryptography and Security · Computer Science 2020-03-30 Timothy Kieras , Muhammad Junaid Farooq , Quanyan Zhu

Signature-based Intrusion Detection System (SIDS) provides a promising solution to the problem of web application security. However, the performance of the system highly relies on the quality of the signatures designed to detect attacks. A…

Cryptography and Security · Computer Science 2018-05-29 Nancy Agarwal , Syed Zeeshan Hussain

Wireless sensor networks increasingly become viable solutions to many challenging problems and will successively be deployed in many areas in the future. However, deploying new technology without security in mind has often proved to be…

Cryptography and Security · Computer Science 2014-09-24 Stefan Schmidt , Holger Krahn , Stefan Fischer , Dietmar Wätjen

The North Atlantic Treaty Organization (NATO) Exploratory Team meeting, "Model-Driven Paradigms for Integrated Approaches to Cyber Defense," was organized by the NATO Science and Technology Organization's (STO) Information Systems and…

Evolving cybersecurity threats in complex cyber-physical systems pose significant risks to system functionality and safety. This experience report introduces ACTISM (Automotive Consequence-Driven and Threat-Informed Security Modelling), an…

Cryptography and Security · Computer Science 2025-02-06 Shaofei Huang , Christopher M. Poskitt , Lwin Khin Shar

Safety architectures play a crucial role in the safety assurance of automated driving vehicles (ADVs). They can be used as safety envelopes of black-box ADV controllers, and for graceful degradation from one ODD to another. Building on our…

Robotics · Computer Science 2023-08-22 Clovis Eberhart , Jérémy Dubut , James Haydon , Ichiro Hasuo

The rapid advancement of open-source foundation models has brought transparency and accessibility to this groundbreaking technology. However, this openness has also enabled the development of highly-capable, unsafe models, as exemplified by…

Computers and Society · Computer Science 2024-06-18 Terrence Neumann , Bryan Jones

This paper develops a novel machine learning-based framework using Semi-Supervised Multi-Task Learning (SS-MTL) for power system dynamic security assessment that is accurate, reliable, and aware of topological changes. The learning…

Machine Learning · Computer Science 2024-07-15 Muhy Eddin Za'ter , Amirhossein Sajadi , Bri-Mathias Hodge

While advanced machine learning (ML) models are deployed in numerous real-world applications, previous works demonstrate these models have security and privacy vulnerabilities. Various empirical research has been done in this field.…

Cryptography and Security · Computer Science 2023-10-23 Boyang Zhang , Zheng Li , Ziqing Yang , Xinlei He , Michael Backes , Mario Fritz , Yang Zhang

Security verification of communication protocols in industrial and safety-critical systems is challenging because implementations are often proprietary, accessible only as black boxes, and too complex for manual modeling. As a result,…

Cryptography and Security · Computer Science 2026-03-02 Stefan Marksteiner , Mikael Sjödin , Marjan Sirjani

Systems-of-Systems (SoS) result from the collaboration of independent Constituent Systems (CSs) to achieve particular missions. CSs are not totally known at design time, and may also leave or join SoS at runtime, which turns the SoS…

Software Engineering · Computer Science 2019-05-24 Ahmad Mohsin , Naeem Khalid Janjua , Syed MS Islam , Valdemar Vicente Graciano Neto

Multi-agent systems (MAS), composed of networks of two or more autonomous AI agents, have become increasingly popular in production deployments, yet introduce security risks that do not arise in single-agent settings. Even if individual…

Multiagent Systems · Computer Science 2026-04-28 Ben Hagag , William L. Anderson , Christian Schroeder de Witt , Sarah Scheffler

Due to the variety of cyber-attacks or threats, the cybersecurity community enhances the traditional security control mechanisms to an advanced level so that automated tools can encounter potential security threats. Very recently, Cyber…

Machine Learning · Computer Science 2022-11-15 Md Imran Hossen , Ashraful Islam , Farzana Anowar , Eshtiak Ahmed , Mohammad Masudur Rahman , Xiali , Hei
‹ Prev 1 8 9 10 Next ›