A Security Compliance-by-Design Framework Utilizing Reusable Formal Models.

Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka

Browse the full QRS paper archive.