From Secure Business Process Modeling to Design-Level Security Verification.

Qusai Ramadan, Mattia Salnitri, Daniel Strber, Jan Jrjens, Paolo Giorgini

Browse the full MODELS paper archive.