Thursday, February 22, 2024
New Publication: A Security Compliance-by-Design Framework Utilizing Reusable Formal Models
Our recent work proposing a methodology to enhance the security of software systems by incorporating compliance verification from the early stages of design is now available online! In this work, we present a novel method for modeling a security compliance baseline based on the specification and reuse of analysis models targeting standards,... More