{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:04Z","timestamp":1750306804716,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,26]],"date-time":"2013-11-26T00:00:00Z","timestamp":1385424000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Dutch Next Generation Infrastructures Foundation","award":["09.08.KID"],"award-info":[{"award-number":["09.08.KID"]}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["SEC-261696 (SESAME), ICT-318003 (TREsPASS)"],"award-info":[{"award-number":["SEC-261696 (SESAME), ICT-318003 (TREsPASS)"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,11,26]]},"DOI":"10.1145\/2523514.2523526","type":"proceedings-article","created":{"date-parts":[[2014,1,7]],"date-time":"2014-01-07T14:49:20Z","timestamp":1389106160000},"page":"54-61","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Obligations to enforce prohibitions"],"prefix":"10.1145","author":[{"given":"Wolter","family":"Pieters","sequence":"first","affiliation":[{"name":"Delft University of Technology & University of Twente, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Padget","sequence":"additional","affiliation":[{"name":"University of Bath, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francien","family":"Dechesne","sequence":"additional","affiliation":[{"name":"Delft University of Technology, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Virginia","family":"Dignum","sequence":"additional","affiliation":[{"name":"Delft University of Technology, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huib","family":"Aldewereld","sequence":"additional","affiliation":[{"name":"Delft University of Technology, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,11,26]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"126","volume-title":"Information Security: An Integrated Collection of Essays","author":"Abrams M.","year":"1995","unstructured":"M. Abrams and D. Bailey . Abstraction and refinement of layered security policy . In Information Security: An Integrated Collection of Essays , pages 126 -- 136 . IEEE Computer Society Press , 1995 . M. Abrams and D. Bailey. Abstraction and refinement of layered security policy. In Information Security: An Integrated Collection of Essays, pages 126--136. IEEE Computer Society Press, 1995."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Reasoning and Declarative Problem Solving","author":"Baral C.","year":"2003","unstructured":"C. Baral . Knowledge Representation , Reasoning and Declarative Problem Solving . Cambridge University Press , 2003 . C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the Future: Agents and Choices in our Indeterminist World","author":"Belnap N.","year":"2001","unstructured":"N. Belnap , M. Perloff , and M. Xu . Facing the Future: Agents and Choices in our Indeterminist World . Oxford University Press , 2001 . N. Belnap, M. Perloff, and M. Xu. Facing the Future: Agents and Choices in our Indeterminist World. Oxford University Press, 2001."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/882493.884372"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/261618.261658"},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","first-page":"60","volume-title":"CLIMA VII","author":"Cliffe O.","year":"2006","unstructured":"O. Cliffe , M. De Vos , and J. Padget . Answer set programming for representing and reasoning about virtual institutions . In CLIMA VII , volume 4371 of LNCS , pages 60 -- 79 . Springer , 2006 . O. Cliffe, M. De Vos, and J. Padget. Answer set programming for representing and reasoning about virtual institutions. In CLIMA VII, volume 4371 of LNCS, pages 60--79. Springer, 2006."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/GreenCom-CPSCom.2010.165"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/242485.242493"},{"key":"e_1_3_2_1_10_1","first-page":"193","article-title":"Action languages","volume":"2","author":"Gelfond M.","year":"1998","unstructured":"M. Gelfond and V. Lifschitz . Action languages . Electron. Trans. Artif. Intell. , 2 : 193 -- 210 , 1998 . M. Gelfond and V. Lifschitz. Action languages. Electron. Trans. Artif. Intell., 2: 193--210, 1998.","journal-title":"Electron. Trans. Artif. Intell."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_3_2_1_12_1","first-page":"225","volume-title":"Shaping technology\/building society: Studies in sociotechnical change","author":"Latour B.","year":"1992","unstructured":"B. Latour . Where are the missing masses? the sociology of a few mundane artifacts . In Shaping technology\/building society: Studies in sociotechnical change , pages 225 -- 258 . Cambridge MA : MIT Press , 1992 . B. Latour. Where are the missing masses? the sociology of a few mundane artifacts. In Shaping technology\/building society: Studies in sociotechnical change, pages 225--258. Cambridge MA: MIT Press, 1992."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1177\/0306312792022001002"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11734727_17"},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. 8th Int. Symp. System and Information Security. Fundacao Casimiro Montenegro Filho - CTA\/ITA","author":"Franqueira V. Nunes Leal","year":"2006","unstructured":"V. Nunes Leal Franqueira and P. A. T. van Eck . Towards alignment of architectural domains in security policy specifications. In J. M. P. et al., editor , Proc. 8th Int. Symp. System and Information Security. Fundacao Casimiro Montenegro Filho - CTA\/ITA , 2006 . V. Nunes Leal Franqueira and P. A. T. van Eck. Towards alignment of architectural domains in security policy specifications. In J. M. P. et al., editor, Proc. 8th Int. Symp. System and Information Security. Fundacao Casimiro Montenegro Filho - CTA\/ITA, 2006."},{"key":"e_1_3_2_1_16_1","volume-title":"Ubiquitous Computing, and Dependable Applications, 2(1): 75--92","author":"Pieters W.","year":"2011","unstructured":"W. Pieters . Representing humans in system security models : An actor-network approach. Journal of Wireless Mobile Networks , Ubiquitous Computing, and Dependable Applications, 2(1): 75--92 , 2011 . W. Pieters. Representing humans in system security models: An actor-network approach. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 2(1): 75--92, 2011."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2012.2221933"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"C. W. Probst R. R. Hansen and F. Nielson . Where can an insider attack? In Formal Aspects in Security and Trust volume 4691 of LNCS pages 127 -- 142 . Springer 2007 . C. W. Probst R. R. Hansen and F. Nielson. Where can an insider attack? In Formal Aspects in Security and Trust volume 4691 of LNCS pages 127--142. Springer 2007.","DOI":"10.1007\/978-3-540-75227-1_9"},{"key":"e_1_3_2_1_19_1","volume-title":"The Stanford Encyclopedia of Philosophy.","author":"Segerberg K.","year":"2012","unstructured":"K. Segerberg , J.-J. Meyer , and M. Kracht . The logic of action . In E. N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Summer 2012 edition, 2012. K. Segerberg, J.-J. Meyer, and M. Kracht. The logic of action. In E. N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Summer 2012 edition, 2012."},{"key":"e_1_3_2_1_20_1","volume-title":"Policy driven management for distributed systems. Journal of network and Systems Management, 2(4): 333--360","author":"Sloman M.","year":"1994","unstructured":"M. Sloman . Policy driven management for distributed systems. Journal of network and Systems Management, 2(4): 333--360 , 1994 . M. Sloman. Policy driven management for distributed systems. Journal of network and Systems Management, 2(4): 333--360, 1994."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/65.993218"},{"key":"e_1_3_2_1_22_1","volume-title":"Norm and Action: A Logical Enquiry","author":"von Wright G.","year":"1963","unstructured":"G. von Wright . Norm and Action: A Logical Enquiry . Routledge & Keegan , 1963 . G. von Wright. Norm and Action: A Logical Enquiry. Routledge & Keegan, 1963."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00935603"}],"event":{"name":"SIN '13: The 6th International Conference on Security of Information and Networks","sponsor":["Macquarie U., Austarlia","MNIT Malaviya National Institute of Technology","Aksaray Univ. Aksaray University","SFedU Southern Federal University","SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Aksaray Turkey","acronym":"SIN '13"},"container-title":["Proceedings of the 6th International Conference on Security of Information and Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2523514.2523526","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2523514.2523526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:54Z","timestamp":1750232094000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2523514.2523526"}},"subtitle":["on the adequacy of security policies"],"short-title":[],"issued":{"date-parts":[[2013,11,26]]},"references-count":22,"alternative-id":["10.1145\/2523514.2523526","10.1145\/2523514"],"URL":"https:\/\/doi.org\/10.1145\/2523514.2523526","relation":{},"subject":[],"published":{"date-parts":[[2013,11,26]]},"assertion":[{"value":"2013-11-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}