Our latest publication “A Model-Driven Formal Methods Approach to Software Architectural Security Vulnerabilities Specification and Verification” is now published in the Journal of Systems & Software and is available online. In this work we present a model-driven approach and supporting tools, for specifying, detective, and treating security vulnerabilities. The approach and tools assists software architects in verifying their designs to mitigate vulnerabilities. This work is the result of a collaboration with our former Postdoctoral Fellow Quentin Rouland, and colleagues at IRIT. See Publications for more details!
Home / Publication / New Publication: A Model-Driven Formal Methods Approach to Software Architectural Security Vulnerabilities Specification and Verification
New Publication: A Model-Driven Formal Methods Approach to Software Architectural Security Vulnerabilities Specification and Verification