A model-driven formal methods approach to software architectural security vulnerabilities specification and verification
Author:
Quentin Rouland,Brahim Hamid,Jason Jaskolka
Publication:
Journal of Systems and Software
© 2024 Elsevier Inc. All rights are reserved, including those for text and data mining, AI training, and similar technologies.