{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:02Z","timestamp":1750308182394,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2003,10,30]],"date-time":"2003-10-30T00:00:00Z","timestamp":1067472000000},"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":[[2003,10,30]]},"DOI":"10.1145\/1035429.1035433","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T17:55:16Z","timestamp":1107107716000},"page":"32-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["A compositional framework for access control policies enforcement"],"prefix":"10.1145","author":[{"given":"Fran\u00e7ois","family":"Siewe","sequence":"first","affiliation":[{"name":"De Montfort University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Cau","sequence":"additional","affiliation":[{"name":"De Montfort University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hussein","family":"Zedan","sequence":"additional","affiliation":[{"name":"De Montfort University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2003,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/155183.155225"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.485637"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/293910.293151"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/504909.504910"},{"key":"e_1_3_2_1_6_1","unstructured":"A. Cau B. Moszkowski and H. Zedan. Interval Temporal Logic. http:\/\/www.cse.dmu.ac.uk\/~cau\/itlhomepage\/.]]  A. Cau B. Moszkowski and H. Zedan. Interval Temporal Logic. http:\/\/www.cse.dmu.ac.uk\/~cau\/itlhomepage\/.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"A.\n      Cau\n     and \n      H.\n      Zedan\n  . \n  Refining Interval Temporal Logic Specifications\n  . In M. Bertran and T. Rus editors Transformation-Based Reactive Systems Development volume \n  1231\n   of \n  LNCS pages \n  79\n  -\n  94 AMAST 1997\n  . \n  Sprinrg-Verlag\n  .]]   A. Cau and H. Zedan. Refining Interval Temporal Logic Specifications. In M. Bertran and T. Rus editors Transformation-Based Reactive Systems Development volume 1231 of LNCS pages 79-94 AMAST 1997. Sprinrg-Verlag.]]","DOI":"10.1007\/3-540-63010-4_6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336559"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360333"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/383891.383894"},{"key":"e_1_3_2_1_13_1","volume-title":"Encyclopedia of Software Engineering","author":"McLean J.","year":"1994","unstructured":"J. McLean . Security Models . In J. Marciniak, editor, Encyclopedia of Software Engineering . Wiley Press , 1994 .]] J. McLean. Security Models. In J. Marciniak, editor, Encyclopedia of Software Engineering. Wiley Press, 1994.]]"},{"key":"e_1_3_2_1_14_1","volume-title":"Executing Temporal Logic Programs","author":"Moszkowski B.","year":"1986","unstructured":"B. Moszkowski . Executing Temporal Logic Programs . Cambridge University Press , England , 1986 .]] B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, England, 1986.]]"},{"key":"e_1_3_2_1_15_1","series-title":"LNCS","first-page":"439","volume-title":"W.-P. d","author":"Moszkowski B.","year":"1998","unstructured":"B. Moszkowski . Compositional reasoning using interval temporal logic and tempura . In W.-P. d . Roever, H. Langmaack, and A. Pnueli, editors, Compositionality : The Significant Difference, volume 1486 of LNCS , pages 439 - 464 , Berlin, 1998 . Springer Verlag .]] B. Moszkowski. Compositional reasoning using interval temporal logic and tempura. In W.-P. d. Roever, H. Langmaack, and A. Pnueli, editors, Compositionality: The Significant Difference, volume 1486 of LNCS, pages 439-464, Berlin, 1998. Springer Verlag.]]"},{"key":"e_1_3_2_1_16_1","first-page":"137","volume-title":"Foundations of Security Analysis and Design (Tutorial Lectures)","author":"Samarati P.","year":"2000","unstructured":"P. Samarati and S. Vimercati . Access Control: Policies, Models, and Mechanisms . In R. Focardi and R. Gorrieri, editors, Foundations of Security Analysis and Design (Tutorial Lectures) , pages 137 - 196 . Springer-Verlag , September 2000 .]] P. Samarati and S. Vimercati. Access Control: Policies, Models, and Mechanisms. In R. Focardi and R. Gorrieri, editors, Foundations of Security Analysis and Design (Tutorial Lectures), pages 137-196. Springer-Verlag, September 2000.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.1988.113349"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_20_1","volume":"107","author":"Woo T. Y. C.","year":"1993","unstructured":"T. Y. C. Woo and S. S. Lam . Authorization in distributed systems: A new approach. Journal of Computer Security, 2(2,3) : 107-136 , 1993 .]] T. Y. C. Woo and S. S. Lam. Authorization in distributed systems: A new approach. Journal of Computer Security, 2(2,3):107-136, 1993.]]","journal-title":"Journal of Computer Security, 2(2,3)"},{"key":"e_1_3_2_1_21_1","first-page":"333","volume-title":"Workshop on Systems Modelling for Business Process Improvement","author":"Zedan H.","year":"2000","unstructured":"H. Zedan . A. Cau , and B. Moszkowski . Compositional Modelling: The Formal Perspective. In D. Bustard, editor , Workshop on Systems Modelling for Business Process Improvement , pages 333 - 354 . Artech House , 2000 .]] H. Zedan. A. Cau, and B. Moszkowski. Compositional Modelling: The Formal Perspective. In D. Bustard, editor, Workshop on Systems Modelling for Business Process Improvement, pages 333-354. Artech House, 2000.]]"}],"event":{"name":"CCS03: Tenth ACM Conference on Computer and Communications Security 2003","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Washington D.C.","acronym":"CCS03"},"container-title":["Proceedings of the 2003 ACM workshop on Formal methods in security engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1035429.1035433","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1035429.1035433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:24:29Z","timestamp":1750263869000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1035429.1035433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10,30]]},"references-count":18,"alternative-id":["10.1145\/1035429.1035433","10.1145\/1035429"],"URL":"https:\/\/doi.org\/10.1145\/1035429.1035433","relation":{},"subject":[],"published":{"date-parts":[[2003,10,30]]},"assertion":[{"value":"2003-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}