Towards an efficient and language-agnostic compliance checker for trust negotiation systems