An approach to modular and testable security models of real-world health-care applications

@inproceedings{Brucker2011AnAT,
  title={An approach to modular and testable security models of real-world health-care applications},
  author={Achim D. Brucker and Lukas Br{\"u}gger and Paul Kearney and Burkhart Wolff},
  booktitle={SACMAT},
  year={2011}
}
We present a generic modular policy modelling framework and instantiate it with a substantial case study for model-based testing of some key security mechanisms of applications and services of the NPfIT. NPfIT, the National Programme for IT, is a very large-scale development project aiming to modernise the IT infrastructure of the NHS in England. Consisting of heterogeneous and distributed applications, it is an ideal target for model-based testing techniques of a large system exhibiting… CONTINUE READING
Highly Cited
This paper has 43 citations. REVIEW CITATIONS