diff options
Diffstat (limited to 'doc/share/authz/POLICY.md')
| -rw-r--r-- | doc/share/authz/POLICY.md | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/share/authz/POLICY.md b/doc/share/authz/POLICY.md index 4e809bb..2511d67 100644 --- a/doc/share/authz/POLICY.md +++ b/doc/share/authz/POLICY.md @@ -20,8 +20,6 @@ authorized to perform an action against a resource. end ``` -* [Zanzibar](./ZANZIBAR.md) - ## Policy Language A policy language facilitates: @@ -29,6 +27,8 @@ A policy language facilitates: 1. the specification of composite policies, which in turn forms the basis of trust delegation. 1. **the static analysis of policies and system configuration.** + + ## Security Context/Scope 1. Single resource @@ -59,3 +59,8 @@ end ``` [Social Network Graph](./sns.dot.png) + +## See Also + +* [Zanzibar](./ZANZIBAR.md) +* [Dafny](https://dafny.org) |