Business Process Privacy Analysis in Pleak

Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud, Raimundas Matulevicius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom. Business Process Privacy Analysis in Pleak. In Reiner Hähnle, Wil M. P. van der Aalst, editors, Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Volume 11424 of Lecture Notes in Computer Science, pages 306-312, Springer, 2019. [doi]

Abstract

Abstract is missing.