Text this: Semantics-based approach for detecting flaws, conflicts and redundancies in XACML policies