Scollar
From Erights
Scoll and Scollar analyze safety in patterns of collaborating entities. It is based on Fred's thesis: Patterns of Safe Collaboration.
See also Scoll and Scollar: Safe collaboration based on partial trust and SCOLL: A language for safe capability based collaboration.