Alessandro Armando, Silvio Ranise. Automated Symbolic Analysis of ARBAC-Policies. In Jorge Cuéllar, Javier Lopez, Gilles Barthe, Alexander Pretschner, editors, Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers. Volume 6710 of Lecture Notes in Computer Science, pages 17-34, Springer, 2010.
Abstract is missing.