Security Requirements as Code: Example from VeriDevOps Project.

Khaled Ismaeel, Alexandr Naumchev, Andrey Sadovykh, Dragos Truscan, Eduard Paul Enoiu, Cristina Seceleanu

Browse the full RE paper archive.