Formal specification of role-based security policies for clinical information systems

Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn. Formal specification of role-based security policies for clinical information systems. In Hisham Haddad, Lorie M. Liebrock, Andrea Omicini, Roger L. Wainwright, editors, Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005. pages 332-339, ACM, 2005. [doi]

Abstract

Abstract is missing.