Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta. Security validation tool for business processes. In Ruth Breu, Jason Crampton, Jorge Lobo, editors, SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Innsbruck, Austria, June 15-17, 2011, Proceedings. pages 143-144, ACM, 2011. [doi]
Abstract is missing.