Modeling and Verifying Security Policies in Business Processes.

Mattia Salnitri, Fabiano Dalpiaz, Paolo Giorgini

Browse the full CaiSE paper archive.