io7m
|
single-page
|
multi-page
|
epub
| Medrina 1.0
2. Usage
Previous
Front Matter
Up
3.1. Overview
Next
3. Specification
3.1. Overview
3.2. Notational Conventions
3.2.1. Gallina/Coq
3.2.2. Unicode
3.2.3. EBNF
3.2.4. S-Expressions
3.3. Names
3.4. Attributes
3.5. Roles
3.6. Subjects
3.7. Objects
3.8. Actions
3.9. Matches
3.9.1. Overview
3.9.2. Matching Subjects
3.9.3. Matching Actions
3.9.4. Matching Objects
3.10. Rules
3.11. Policies
3.11.1. Overview
3.11.2. Evaluation
3.11.3. Properties
3.11.3.1. Abbreviation
3.11.3.2. Theorems
3.12. Syntax
3.12.1. Overview
3.12.2. Medrina
3.12.3. Rule Conclusions
3.12.4. Subject Match
3.12.5. Object Match
3.12.6. Complete Syntax
3.12.7. Action Match
3.12.8. Rules
3.12.9. Complete Syntax
3.13. Sources
2. Usage
Previous
Front Matter
Up
3.1. Overview
Next
io7m
|
single-page
|
multi-page
|
epub
| Medrina 1.0