Aims of the project
This project aims to create a framework for a complete DRM system that can be used for protecting any type of data. Thus this project aims to define a high level specification, model the correctness of the specifications (where applicable) and create a prototype for the specifications.
The components are shown in the diagram below, with the shaded components considered to be optional. In this project, we consider the components to be standalone web services.

|