Image de couverture de livre

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Mohamad, Mazen
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards Understanding and Applying Security Assurance Cases for Automotive Systems
par: Mohamad, Mazen
Publié: (2024)

Evaluating the Role of Security Assurance Cases in Agile Medical Device Development
par: Fransson, Max, et autres
Publié: (2024)

Managing Security Evidence in Safety-Critical Organizations
par: Mohamad, Mazen, et autres
Publié: (2024)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
par: Gleirscher, Mario, et autres
Publié: (2020)

120 Domain-Specific Languages for Security
par: Krausz, Markus, et autres
Publié: (2024)

Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
par: Gultekin, Fikret Mert, et autres
Publié: (2025)

Securing the Software Package Supply Chain for Critical Systems
par: Murali, Ritwik, et autres
Publié: (2025)

R+R: Security Vulnerability Dataset Quality Is Critical
par: Yadav, Anurag Swarnim, et autres
Publié: (2025)

How to Secure Existing C and C++ Software without Memory Safety
par: Erlingsson, Úlfar
Publié: (2025)

Developing Assurance Cases for Adversarial Robustness and Regulatory Compliance in LLMs
par: Momcilovic, Tomas Bueno, et autres
Publié: (2024)

Security Testing of RESTful APIs With Test Case Mutation
par: Salva, Sebastien, et autres
Publié: (2024)

In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks
par: Schneider, Simon, et autres
Publié: (2025)

Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain
par: Pekaric, Irdin, et autres
Publié: (2026)

An In Depth Analysis of a Cyber Attack: Case Study and Security Insights
par: Pakshad, Puya
Publié: (2024)

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility
par: Hong, Yining, et autres
Publié: (2026)

How Can ChatGPT Support Human Security Testers to Help Mitigate Supply Chain Attacks?
par: Zhang, Ying, et autres
Publié: (2023)

Enterprise Identity Integration for AI-Assisted Developer Services: Architecture, Implementation, and Case Study
par: Chinthareddy, Manideep Reddy
Publié: (2026)

Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
par: Ayoughi, Negin, et autres
Publié: (2024)

"False negative -- that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing
par: Ami, Amit Seal, et autres
Publié: (2023)

A Security Risk Assessment Method for Distributed Ledger Technology (DLT) based Applications: Three Industry Case Studies
par: Baninemeh, Elena, et autres
Publié: (2024)

Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
par: Ren, Ruomai
Publié: (2025)

Leveraging Security Observability to Strengthen Security of Digital Ecosystem Architecture
par: Ramachandran, Renjith
Publié: (2024)

Toward Secure Web to ERP Payment Flows: A Case Study of HTTP Header Trust Failures in SAP Based Systems
par: Dini, Vick
Publié: (2026)

Model-Checking the Implementation of Consent
par: Pardo, Raúl, et autres
Publié: (2024)

Security Incentivization: An Empirical Study of how Micropayments Impact Code Security
par: Rass, Stefan, et autres
Publié: (2026)

SoK: Analysis of Software Supply Chain Security by Establishing Secure Design Properties
par: Okafor, Chinenye, et autres
Publié: (2024)

How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test
par: Tessa, Melissa, et autres
Publié: (2026)

Numeric Truncation Security Predicate
par: Mezhuev, Timofey, et autres
Publié: (2023)

LLM Security Guard for Code
par: Kavian, Arya, et autres
Publié: (2024)

An Introduction to Adaptive Software Security
par: Nia, Mehran Alidoost
Publié: (2023)

Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies
par: Jain, Ridhi, et autres
Publié: (2024)

Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection
par: Lin, Bo, et autres
Publié: (2025)

An Empirical Study on the Security Vulnerabilities of GPTs
par: Wu, Tong, et autres
Publié: (2025)

An Exploratory Study on the Engineering of Security Features
par: Hermann, Kevin, et autres
Publié: (2025)

LLM-Assisted Model-Based Fuzzing of Protocol Implementations
par: Huang, Changze, et autres
Publié: (2025)

LLMs for Cyber Security: New Opportunities
par: Divakaran, Dinil Mon, et autres
Publié: (2024)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
par: Cai, Luwei, et autres
Publié: (2024)

Expert-in-the-Loop Systems with Cross-Domain and In-Domain Few-Shot Learning for Software Vulnerability Detection
par: Farr, David, et autres
Publié: (2025)

Secure Coding with AI -- From Detection to Repair
par: Belozerov, Vladislav, et autres
Publié: (2025)

Software Supply Chain Security of Web3
par: Monperrus, Martin
Publié: (2025)