Eckehard Hermann, Udo Litschauer, Jürgen Fuß. A Formal Equivalence Classes Based Method for Security Policy Conformance Checking. In Gerald Quirchmayr, Josef Basl, Ilsun You, Lida Xu, Edgar Weippl, editors, Multidisciplinary Research and Practice for Information Systems - IFIP WG 8.4, 8.9/TC 5 International Cross-Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24, 2012. Proceedings. Volume 7465 of Lecture Notes in Computer Science, pages 146-160, Springer, 2012. [doi]
Abstract is missing.