Some examples of using the Cedar language to specify authorization - View it on GitHub