This project aims to speed up and iprove the security assurance prodecudes for applicatios connected to the UK NHS network by using models and machine reasoning. The focus is on modelling application networks and supporting analysis of risks to the application including risks of non-compliance with NHS regulartions, and exploitation of the resulting models for run-time compliance checking at an NHS-connected data centre.

Like RestAssured, ASSURED aims to exploit models created at design time to analyse and maintain security compliance at run-time in applications involving the collection and use of personal data.