{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T11:02:48Z","timestamp":1790852568756,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,3,13]],"date-time":"2005-03-13T00:00:00Z","timestamp":1110672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,3,13]]},"DOI":"10.1145\/1066677.1066756","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"332-339","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Formal specification of role-based security policies for clinical information systems"],"prefix":"10.1145","author":[{"given":"Karsten","family":"Sohr","sequence":"first","affiliation":[{"name":"Universit\u00e4t Bremen, Bielefeld, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Drouineaud","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Bremen, Bielefeld, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gail-Joon","family":"Ahn","sequence":"additional","affiliation":[{"name":"University of North Carolina at Charlotte Charlotte, NC"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/380171.380188"},{"key":"e_1_3_2_1_2_1","first-page":"125","volume-title":"Proceedings of 16th Annual Computer Security Application Conference, December 11--15","author":"Barka E.","year":"2000","unstructured":"E. Barka and R. Sandhu , A role-based delegation model and some extensions , Proceedings of 16th Annual Computer Security Application Conference, December 11--15 2000 , pp. 125 -- 134 .]] E. Barka and R. Sandhu, A role-based delegation model and some extensions, Proceedings of 16th Annual Computer Security Application Conference, December 11--15 2000, pp. 125--134.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/344287.344298"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/300830.300837"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018442.1022056"},{"key":"e_1_3_2_1_6_1","unstructured":"EU Directive on the protection of individuals with regard to the processing of personal data and on the free movement of such data. Directive 95\/46\/EC. http:\/\/www.privacy.org\/pi\/intl_orgs\/ec\/eudp.html 1995.]]  EU Directive on the protection of individuals with regard to the processing of personal data and on the free movement of such data. Directive 95\/46\/EC. http:\/\/www.privacy.org\/pi\/intl_orgs\/ec\/eudp.html 1995.]]"},{"key":"e_1_3_2_1_7_1","first-page":"107","volume-title":"Proc. of the NIST-NCSC Nat. (U. S.) Comp. Security Conference","author":"Ferraiolo D.","year":"1993","unstructured":"D. Ferraiolo , D. Gilbert , and N. Lynch , An examination of federal and commercial access control policy needs , Proc. of the NIST-NCSC Nat. (U. S.) Comp. Security Conference , 1993 , pp. 107 -- 116 .]] D. Ferraiolo, D. Gilbert, and N. Lynch, An examination of federal and commercial access control policy needs, Proc. of the NIST-NCSC Nat. (U. S.) Comp. Security Conference, 1993, pp. 107--116.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501980"},{"key":"e_1_3_2_1_9_1","volume-title":"http:\/\/www.dimdi.de\/de\/ehealth\/karte\/index.htm","year":"2004","unstructured":"Deutsches Institut f\u00fcr Medizinische Dokumentation und Information, Gesundheitskarte. http:\/\/www.dimdi.de\/de\/ehealth\/karte\/index.htm , 2004 .]] Deutsches Institut f\u00fcr Medizinische Dokumentation und Information, Gesundheitskarte. http:\/\/www.dimdi.de\/de\/ehealth\/karte\/index.htm, 2004.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1990.63835"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/373256.373259"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/248625.248652"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1998.674833"},{"key":"e_1_3_2_1_14_1","volume-title":"Logics of time and computation","author":"Goldblatt R.","year":"1992","unstructured":"R. Goldblatt , Logics of time and computation , second edition, revised and expanded, CSLI Lecture Notes, vol. 7 , CSLI, Stanford, 1992 ( first edition 1987), Distributed by University of Chicago Press .]] R. Goldblatt, Logics of time and computation, second edition, revised and expanded, CSLI Lecture Notes, vol. 7, CSLI, Stanford, 1992 (first edition 1987), Distributed by University of Chicago Press.]]"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/872752.873508"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/646619.697420"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/211468"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2003.1214883"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1990.63851"},{"key":"e_1_3_2_1_20_1","volume-title":"Isabelle\/HOL --- A proof assistant for higher-order logic","author":"Nipkow T.","year":"2002","unstructured":"T. Nipkow , L. C. Paulson , and M. Wenzel , Isabelle\/HOL --- A proof assistant for higher-order logic , Springer Verlag , 2002 .]] T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle\/HOL --- A proof assistant for higher-order logic, Springer Verlag, 2002.]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/507711.507737"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/300830.300839"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/794197.795068"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/937527.937530"}],"event":{"name":"SAC05: The 2005 ACM Symposium on Applied Computing","location":"Santa Fe New Mexico","acronym":"SAC05","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 2005 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066677.1066756","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1066677.1066756","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:13Z","timestamp":1750262893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066677.1066756"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3,13]]},"references-count":25,"alternative-id":["10.1145\/1066677.1066756","10.1145\/1066677"],"URL":"https:\/\/doi.org\/10.1145\/1066677.1066756","relation":{},"subject":[],"published":{"date-parts":[[2005,3,13]]},"assertion":[{"value":"2005-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}