Formal models exploring identity and capabilities. - View it on GitHub