Thibaut Probst, Eric Alata, Mohamed Kaâniche, Vincent Nicomette. An Approach for the Automated Analysis of Network Access Controls in Cloud Computing Infrastructures. In Man Ho Au, Barbara Carminati, C. C. Jay Kuo, editors, Network and System Security - 8th International Conference, NSS 2014, Xi'an, China, October 15-17, 2014, Proceedings. Volume 8792 of Lecture Notes in Computer Science, pages 1-14, Springer, 2014. [doi]
Abstract is missing.