1. Formal modelling of dynamic coalitions, with an application in chemical engineering;Bryans,2006
2. Prov-Dm: The PROV Data Model;Moreau,2012
3. Constraints of the provenance data model;Cheney,2012
4. Provabs: model, policy, and tooling for abstracting PROV graphs;Missier,2014
5. The Bell-LaPadula model;Bell;J. Comput. Secur.,1996