Implement checking policies with Cynara