A model-driven formal methods approach to software architectural security vulnerabilities specification and verification

Saved in:
Bibliographic Details
Published inThe Journal of systems and software Vol. 219; p. 112219
Main Authors Rouland, Quentin, Hamid, Brahim, Jaskolka, Jason
Format Journal Article
LanguageEnglish
Published 01.01.2025
Online AccessGet full text

Cover

More Information
ISSN:0164-1212
DOI:10.1016/j.jss.2024.112219