Mattia Salnitri, Fabiano Dalpiaz, Paolo Giorgini. Modeling and Verifying Security Policies in Business Processes. In Ilia Bider, Khaled Gaaloul, John Krogstie, Selmin Nurcan, Henderik Alex Proper, Rainer Schmidt, Pnina Soffer, editors, Enterprise, Business-Process and Information Systems Modeling - 15th International Conference, BPMDS 2014, 19th International Conference, EMMSAD 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014. Proceedings. Volume 175 of Lecture Notes in Business Information Processing, pages 200-214, Springer, 2014. [doi]
Abstract is missing.