{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:21:37Z","timestamp":1761805297507,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"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":[[2012,10]]},"DOI":"10.1145\/2422498.2422503","type":"proceedings-article","created":{"date-parts":[[2013,1,3]],"date-time":"2013-01-03T12:58:22Z","timestamp":1357217902000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A model-driven approach for the extraction of network access-control policies"],"prefix":"10.1145","author":[{"given":"Salvador","family":"Mart\u00ednez","sequence":"first","affiliation":[{"name":"ATLANMOD, & Ecole des Mines de Nantes, INRIA, LINA, Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[{"name":"ATLANMOD, & Ecole des Mines de Nantes, INRIA, LINA, Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joaquin","family":"Garcia-Alfaro","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Europ\u00e9enne de Bretagne, Cesson S\u00e9vign\u00e9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Cuppens","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Europ\u00e9enne de Bretagne, Cesson S\u00e9vign\u00e9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Cuppens-Boulahia","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Europ\u00e9enne de Bretagne, Cesson S\u00e9vign\u00e9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"120","volume-title":"Organization Based Access Control. In 4th IEEE International Workshop on Policies for Distributed Systems and Networks (Policy'03)","author":"Kalam A. Abou El","year":"2003","unstructured":"A. Abou El Kalam , R. E. Baida , P. Balbiani , S. Benferhat , F. Cuppens , Y. Deswarte , A. Mi\u00e8ge , C. Saurel , and G. Trouessin . Organization Based Access Control. In 4th IEEE International Workshop on Policies for Distributed Systems and Networks (Policy'03) , pages 120 -- 131 , June 2003 . A. Abou El Kalam, R. E. Baida, P. Balbiani, S. Benferhat, F. Cuppens, Y. Deswarte, A. Mi\u00e8ge, C. Saurel, and G. Trouessin. Organization Based Access Control. In 4th IEEE International Workshop on Policies for Distributed Systems and Networks (Policy'03), pages 120--131, June 2003."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035582.1035583"},{"key":"e_1_3_2_1_3_1","volume-title":"Your security policy is what?? Technical report","author":"Bishop M.","year":"2006","unstructured":"M. Bishop and S. Peisert . Your security policy is what?? Technical report , 2006 . M. Bishop and S. Peisert. Your security policy is what?? Technical report, 2006."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.50"},{"key":"e_1_3_2_1_5_1","first-page":"203","volume-title":"Formal Aspects in Security and Trust'04","author":"Cuppens F.","year":"2004","unstructured":"F. Cuppens , N. Cuppens-Boulahia , T. Sans , and A. Mi\u00e8ge . A formal approach to specify and deploy a network security policy . In Formal Aspects in Security and Trust'04 , pages 203 -- 218 , 2004 . F. Cuppens, N. Cuppens-Boulahia, T. Sans, and A. Mi\u00e8ge. A formal approach to specify and deploy a network security policy. In Formal Aspects in Security and Trust'04, pages 203--218, 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-007-0045-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"J.\n      Garcia-Alfaro F.\n      Cuppens and \n      N.\n      Cuppens-Boulahia\n  . \n  Management of exceptions on access control policies\n  . In H. S. Venter M. M. Eloff L. Labuschagne J. H. P. Eloff and R. von Solms editors SEC volume \n  232\n   of \n  IFIP pages \n  97\n  --\n  108\n  . \n  Springer 2007\n  .  J. Garcia-Alfaro F. Cuppens and N. Cuppens-Boulahia. Management of exceptions on access control policies. In H. S. Venter M. M. Eloff L. Labuschagne J. H. P. Eloff and R. von Solms editors SEC volume 232 of IFIP pages 97--108. Springer 2007.","DOI":"10.1007\/978-0-387-72367-9_9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11663430_14"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/882494.884424"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.05.001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.09.008"},{"key":"e_1_3_2_1_12_1","volume-title":"http:\/\/www.netfilter.org\/documentation\/HOWTO\/packet-filtering-HOWTO.html","author":"Russell R.","year":"2002","unstructured":"R. Russell . Linux 2.4 packet filtering howto. http:\/\/www.netfilter.org\/documentation\/HOWTO\/packet-filtering-HOWTO.html , 2002 . R. Russell. Linux 2.4 packet filtering howto. http:\/\/www.netfilter.org\/documentation\/HOWTO\/packet-filtering-HOWTO.html, 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/344287.344301"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2004.4623689"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1349426.1349428"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.16"},{"key":"e_1_3_2_1_17_1","volume-title":"Platform-independent firewall policy representation. CoRR, abs\/0805.1886","author":"Zaliva V.","year":"2008","unstructured":"V. Zaliva . Platform-independent firewall policy representation. CoRR, abs\/0805.1886 , 2008 . V. Zaliva. Platform-independent firewall policy representation. CoRR, abs\/0805.1886, 2008."}],"event":{"name":"MODELS '12: ACM\/IEEE 15th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Innsbruck Austria","acronym":"MODELS '12"},"container-title":["Proceedings of the Workshop on Model-Driven Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2422498.2422503","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2422498.2422503","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:15Z","timestamp":1750277655000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2422498.2422503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":17,"alternative-id":["10.1145\/2422498.2422503","10.1145\/2422498"],"URL":"https:\/\/doi.org\/10.1145\/2422498.2422503","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]},"assertion":[{"value":"2012-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}