Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka. A Security Compliance-by-Design Framework Utilizing Reusable Formal Models. In 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023. pages 186-195, IEEE, 2023. [doi]
Abstract is missing.