{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:53Z","timestamp":1761597053439,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,11,2]],"date-time":"2007-11-02T00:00:00Z","timestamp":1193961600000},"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":[[2007,11,2]]},"DOI":"10.1145\/1314436.1314446","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T14:30:20Z","timestamp":1195137020000},"page":"71-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Weaving rewrite-based access control policies"],"prefix":"10.1145","author":[{"given":"Anderson Santana","family":"de Oliveira","sequence":"first","affiliation":[{"name":"INRIA and LORIA, Nancy, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric Ke","family":"Wang","sequence":"additional","affiliation":[{"name":"The University of Hong Kong & INRIA and LORIA, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Kirchner","sequence":"additional","affiliation":[{"name":"INRIA and LORIA, Nancy, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helene","family":"Kirchner","sequence":"additional","affiliation":[{"name":"INRIA and LORIA, Nancy, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,11,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065026"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1779782.1779787"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11784180_7"},{"key":"e_1_3_2_1_4_1","volume-title":"3rd Workshop on Software Evolution through Transformations (SeTra'06)","author":"Balland E.","year":"2006","unstructured":"E. Balland and P.-E. Moreau . Optimizing pattern matching compilation by program transformation. In J.-M. Favre, R. Heckel, and T. Mens, editors , 3rd Workshop on Software Evolution through Transformations (SeTra'06) . Electronic Communications of EASST , 2006 . To appear. E. Balland and P.-E. Moreau. Optimizing pattern matching compilation by program transformation. In J.-M. Favre, R. Heckel, and T. Mens, editors, 3rd Workshop on Software Evolution through Transformations (SeTra'06). Electronic Communications of EASST, 2006. To appear."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3127142.3127155"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065047"},{"key":"e_1_3_2_1_7_1","volume-title":"REWERSE","author":"Bonatti P. A.","year":"2004","unstructured":"P. A. Bonatti , N. Shahmehri , C. Duma , DOlmedilla, W. Nejdl , M. Baldoni , C. Baroglio , A. Martelli , V. Patti , P. Coraggio , G. Antoniou , J. Peer , and N. E. Fuchs . Rule-based policy specification: State of the art and future work. Deliverable I2\/D1 , REWERSE , 2004 . P. A. Bonatti, N. Shahmehri, C. Duma, DOlmedilla, W. Nejdl, M. Baldoni, C. Baroglio, A. Martelli, V. Patti, P. Coraggio, G. Antoniou, J. Peer, and N. E. Fuchs. Rule-based policy specification: State of the art and future work. Deliverable I2\/D1, REWERSE, 2004."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2006.36"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31970-2_18"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_51"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"D. J.\n      Dougherty C.\n      Kirchner H.\n      Kirchner and \n      A. Santana\n      de Oliveira\n    .\n  Modular access control via strategic rewriting. ESORICS volume \n  4734\n   of \n  Lecture Notes in Computer Science pages \n  578\n  --\n  593\n  . \n  Springer 2007\n  .  D. J. Dougherty C. Kirchner H. Kirchner and A. Santana de Oliveira. Modular access control via strategic rewriting. ESORICS volume 4734 of Lecture Notes in Computer Science pages 578--593. Springer 2007.","DOI":"10.1007\/978-3-540-74835-9_38"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/335169.335201"},{"key":"e_1_3_2_1_13_1","volume-title":"IEEE Symposium on Security and Privacy, 1999","author":"Evans D.","year":"1999","unstructured":"D. Evans and A. Twyman , editors. Flexible Policy-Directed Code Safety , IEEE Symposium on Security and Privacy, 1999 . IEEE Computer Society , 1999 . D. Evans and A. Twyman, editors. Flexible Policy-Directed Code Safety, IEEE Symposium on Security and Privacy, 1999. IEEE Computer Society, 1999."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"J.\n      Giesl R.\n      Thiemann P.\n      Schneider-Kamp and \n      S.\n      Falke\n  . \n  Automated termination proofs with AProVE\n  . In V. van Oostrom editor RTA volume \n  3091\n   of \n  Lecture Notes in Computer Science pages \n  210\n  --\n  220\n  . \n  Springer 2004\n  .  J. Giesl R. Thiemann P. Schneider-Kamp and S. Falke. Automated termination proofs with AProVE. In V. van Oostrom editor RTA volume 3091 of Lecture Notes in Computer Science pages 210--220. Springer 2004.","DOI":"10.1007\/978-3-540-25979-4_15"},{"key":"e_1_3_2_1_15_1","volume-title":"Security Policy Enforcement By automated Program-Rewriting. Phd thesis","author":"Hamlen K.","year":"2006","unstructured":"K. Hamlen . Security Policy Enforcement By automated Program-Rewriting. Phd thesis , Cornell University , 2006 . K. Hamlen. Security Policy Enforcement By automated Program-Rewriting. Phd thesis, Cornell University, 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/383891.383894"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/826036.826869"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"G.\n      Kiczales E.\n      Hilsdale J.\n      Hugunin M.\n      Kersten J.\n      Palm and \n      W. G.\n      Griswold\n  . \n  An overview of aspectj\n  . In J. L. Knudsen editor ECOOP volume \n  2072\n   of \n  Lecture Notes in Computer Science pages \n  327\n  --\n  353\n  . \n  Springer 2001\n  .   G. Kiczales E. Hilsdale J. Hugunin M. Kersten J. Palm and W. G. Griswold. An overview of aspectj. In J. L. Knudsen editor ECOOP volume 2072 of Lecture Notes in Computer Science pages 327--353. Springer 2001.","DOI":"10.1007\/3-540-45337-7_18"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069792"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/775265.775268"},{"key":"e_1_3_2_1_22_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/11555827_21","volume-title":"SDC. di Vimercati","author":"Ligatti J.","year":"2005","unstructured":"J. Ligatti , L. Bauer , and D. Walker . Enforcing non-safety security policies with program monitors . In SDC. di Vimercati , P. F. Syverson, and D. Gollmann, editors, ESORICS, volume 3679 of Lecture Notes in Computer Science , pages 355 -- 373 . Springer , 2005 . 10.1007\/11555827_21 J. Ligatti, L. Bauer, and D. Walker. Enforcing non-safety security policies with program monitors. In SDC. di Vimercati, P. F. Syverson, and D. Gollmann, editors, ESORICS, volume 3679 of Lecture Notes in Computer Science, pages 355--373. Springer, 2005. 10.1007\/11555827_21"},{"key":"e_1_3_2_1_23_1","volume-title":"Preliminary Proceedings of the 2nd International Workshop on Security and Rewriting Techniques (SecReT'07)","author":"Morisset C.","year":"2007","unstructured":"C. Morisset and A. Santana de Oliveira. Automated detection of information leakage in access control. In M. Nesi and R. Treinen, editors , Preliminary Proceedings of the 2nd International Workshop on Security and Rewriting Techniques (SecReT'07) , Paris, France , July 2007 . C. Morisset and A. Santana de Oliveira. Automated detection of information leakage in access control. In M. Nesi and R. Treinen, editors, Preliminary Proceedings of the 2nd International Workshop on Security and Rewriting Techniques (SecReT'07), Paris, France, July 2007."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.06.014"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.055"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1063979.1064001"}],"event":{"name":"CCS07: 14th ACM Conference on Computer and Communications Security 2007","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control","ACM Association for Computing Machinery"],"location":"Fairfax Virginia USA","acronym":"CCS07"},"container-title":["Proceedings of the 2007 ACM workshop on Formal methods in security engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1314436.1314446","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1314436.1314446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:04Z","timestamp":1750254964000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1314436.1314446"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,2]]},"references-count":28,"alternative-id":["10.1145\/1314436.1314446","10.1145\/1314436"],"URL":"https:\/\/doi.org\/10.1145\/1314436.1314446","relation":{},"subject":[],"published":{"date-parts":[[2007,11,2]]},"assertion":[{"value":"2007-11-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}