- Take-Grant
- can·share(
*r*,**x**,**y**,*G*_{0}) iff there is an edge from**x**to**y**labelled*r*in*G*_{0}, or all of the following hold:- there is a vertex
**y′**with an edge from**y′**to**y**labelled*r*; - there is a subject
**y′′**which terminally spans to**y′**, or**y′′**=**y′**; - there is a subject
**x′**which initially spans to**x**, or**x′**=**x**; and - there is a sequence of islands
*I*_{1}, ...,*I*connected by bridges for which_{n}**x′**is in*I*_{1}and**y′**is in*I*._{n}

- there is a vertex
- Go through interpretation
- can·steal(
*r*,**x**,**y**,*G*_{0}) iff all of the following hold:- there is no edge in
*G*_{0}from**x**to**y**labelled*r*; - there is a subject
**x′**which initially spans to**x**, or**x′**=**x**; and - there is a vertex
**y′**with an edge labeled*r*to**y**in G_{0}for which can·share(*t*,**x**,**y′**, G_{0}) holds

- there is no edge in
- Present conspiracies

- can·share(
- Schematic Protection Model
- Model components
- Link function
- Filter function
- Example: Take-Grant as an instance of SPM
- Create operations and attenuation

This is also available in Postscript and PDF.