A Formal Equivalence Classes Based Method for Security Policy Conformance Checking. - Eckehard Hermann; Udo Litschauer; Jürgen Fuß (CD-ARES, 2012)