Textmeddelande: Conformance checking of dynamic access control policies