Skip to content
Conference

A Multimodal Large Language Model Approach for Automated Security Requirements Verification

Jun 2026 · International Joint Conference on Computer Science and Software Engineering · pp. 321-326 · 0 citations · 11 references

Abstract

Traditional security auditing and compliance are resource-intensive manual processes. Recent work has applied Large Language Models to automate compliance tasks, but these approaches typically rely on textual inputs, limiting their applicability to real-world audit artifacts. This study proposes a Multimodal Large Language Model (MLLM)-based system for security requirements verification using evidence-grounded analysis of multimodal audit artifacts. The model is constrained to only consider artifacts provided at inference time. Evaluation is conducted through an industrial case study using real audit data, including artifacts, requirements, and ground truth labels. Results show good accuracy and explainability (up to 77%), high consistency, and high recall but lower precision. These findings demonstrate the potential of MLLMs to support automated security requirements verification in practical audit settings.

View source

Similar papers

#human-computer interacti... Preprint Jul 2026

Towards an Automated Test of LLM Security Knowledge

A partially-automated method for assessing LLM knowledge of a security area using authoritative information from Consumer Protection Agencies to identify instability in LLM responses that can be indicative of knowledge gaps is introduced.

Shufan Chai, Liangliang Sun, J. Staddon · 0 citations
#large language models Open access Aug 2026

A Hybrid LLM-Based Framework for Automated Security Annotation Generation in Business Process Models

A hybrid framework that takes a BPMN process model and a security requirements document as input and automatically generates security annotations adhering to the SecBPMN2 specification is presented, providing a scalable foundation for security-by-design BPM.

Md Kamrul Islam, Tiphaine Henry, Mattia Salnitri et al. · 0 citations
Book Open access Jul 2026

An Empirical Evaluation of Generative AI in Security Requirements Engineering and Threat Modeling

Empirical evidence is provided that generative AI can effectively support security requirements engineering when embedded within human-centered workflows and organizational governance structures, offering practical insights for adoption in regulated software development contexts.

F. Martins, Elaine Venson · 0 citations
Book Open access Jul 2026

Evaluating and Improving the Quality of LLM-Generated Code

This tutorial introduces a reusable, end-to-end evaluation pipeline grounded in empirical software engineering practices, focusing on post-generation validation rather than prompt design, allowing for validating AI-generated code in modern development workflows.

Glaucia Melo, Jessica Pourleyli, Genevieve Caumartin et al. · 0 citations
Review Jul 2026

Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming

Vibe coding democratizes software development by allowing users to generate code via natural-language (NL) interaction with large language models (LLMs). However, the code is reliable only when it faithfully implements the user's intent, which is difficult and labor-intensive for users to validate. Existing validation...

Ziqi Yuan, Wenhao Lu, Haohang Wu et al. · 0 citations
Open access Jul 2026

Can Language Models Generate Secure Terraform Code? A Security-Focused Benchmark Using Static Analysis

An empirical benchmark evaluating whether LLMs and SLMs can generate security-compliant AWS Terraform configurations suggests that prompt design is a critical factor, highlighting the need for a proper pipeline for developing and validating LLM-assisted secure IaC generation.

Francis Luis Santos Vargas, R. Mansilha, Diego Kreutz · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.