Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff. An approach to modular and testable security models of real-world health-care applications. In Ruth Breu, Jason Crampton, Jorge Lobo, editors, SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Innsbruck, Austria, June 15-17, 2011, Proceedings. pages 133-142, ACM, 2011. [doi]
Abstract is missing.