Formal Specification for Authorization: Clarity Before Implementation blog.gchinis.com 2 points by gchinis 4 months ago