{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:05:40Z","timestamp":1725534340677},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024566"},{"type":"electronic","value":"9783642024573"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02457-3_11","type":"book-chapter","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T09:54:56Z","timestamp":1246960496000},"page":"130-144","source":"Crossref","is-referenced-by-count":1,"title":["MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Pozo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. J.","family":"Varela-Vaca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael M.","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"11_CR1","doi-asserted-by":"publisher","first-page":"894","DOI":"10.1016\/j.infsof.2008.05.001","volume":"51","author":"S. Pozo","year":"2009","unstructured":"Pozo, S., Ceballos, R., Gasca, R.M.: Model Based Development of Firewall Rule Sets: Diagnosing Model Faults. Information and Software Technology Journal\u00a051(5), 894\u2013915 (2009)","journal-title":"Information and Software Technology Journal"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Al-Shaer, E., Hamed, H.H.: Modeling and Management of Firewall Policies. IEEE eTransactions on Network and Service Management\u00a01(1) (2004)","DOI":"10.1109\/TNSM.2004.4623689"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Pozo, S., Ceballos, R., Gasca, R.M.: A Heuristic Polynomial Algorithm for Local Inconsistecy Diagnosis in Firewall Rule Sets. In: International Conference on Security and Cryptography (SECRYPT), Porto, Portugal (2008)","DOI":"10.1109\/SECURWARE.2008.39"},{"issue":"6","key":"11_CR4","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MC.2004.2","volume":"37","author":"A. Wool","year":"2004","unstructured":"Wool, A.: A quantitative study of firewall configuration errors. IEEE Computer\u00a037(6), 62\u201367 (2004)","journal-title":"IEEE Computer"},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/1108956.1108958","volume":"37","author":"D.E. Taylor","year":"2005","unstructured":"Taylor, D.E.: Survey and taxonomy of packet classification techniques. ACM Computing Surveys\u00a037(3), 238\u2013275 (2005)","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"11_CR6","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/1035582.1035583","volume":"22","author":"Y. Bartal","year":"2004","unstructured":"Bartal, Y., Mayer, A., Nissim, K., Wool, A.: Firmato: A Novel Firewall Management Toolkit. ACM Transactions on Computer Systems\u00a022(4), 381\u2013420 (2004)","journal-title":"ACM Transactions on Computer Systems"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The Ponder Specification Language Workshop on Policies for Distributed Systems and Networks (POLICY), HP Labs Bristol, UK, pp. 29\u201331 (2001)","DOI":"10.1007\/3-540-44569-2_2"},{"key":"11_CR8","unstructured":"OASIS eXtensible Access Control Markup Language (XACML), http:\/\/www.oasis-open.org\/committees\/xacml\/"},{"key":"11_CR9","unstructured":"Moore, B., Ellesson, E., Strassner, J., Westerinen, A.: Policy Core Information Model (PCIM), IETF RFC 3060 (2001)"},{"key":"11_CR10","unstructured":"Rule Markup Language (RuleML), http:\/\/www.ruleml.org\/"},{"key":"11_CR11","unstructured":"Simple Rule Markup Language (SRML): A General XML Rule Representation for Forward-chaining Rules, ILOG S.A (2001)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-540-69848-7_39","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2008","author":"S. Pozo","year":"2008","unstructured":"Pozo, S., Ceballos, R., Gasca, R.M.: AFPL, An Abstract Language Model for Firewall ACLs. In: Gervasi, O., Murgante, B., Lagan\u00e0, A., Taniar, D., Mun, Y., Gavrilova, M.L. (eds.) ICCSA 2008, Part II. LNCS, vol.\u00a05073, pp. 468\u2013483. Springer, Heidelberg (2008)"},{"key":"11_CR13","unstructured":"Desfray, P.: UML Profiles versus Metamodeling Extensions... an Ongoing Debate. In: COM 2000, proceedings of the First Workshop on UML in the .COM Enterprise: Modeling CORBA, Components, XML\/XMI and Metadata (2000)"},{"issue":"4","key":"11_CR14","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/1035582.1035583","volume":"22","author":"Y. Bartal","year":"2004","unstructured":"Bartal, Y., Mayer, A., Nissim, K., Wool, A.: Firmato: A Novel Firewall Management Toolkit. ACM Transactions on Computer Systems\u00a022(4), 381\u2013420 (2004)","journal-title":"ACM Transactions on Computer Systems"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Zhang, B., Al-Shaer, E., Jagadeesan, R., Riely, J., Pitcher, C.: Specifications of a High-level Conflict-free Firewall Policy Language for Multi-domain Networks. In: ACM Symposium on Access Control Models and Technologies (SACMAT), Sophia Antipolis, France, pp. 185\u2013194 (2007)","DOI":"10.1145\/1266840.1266871"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Srisuresh, P., Holdrege, M.: RFC 2663: IP Network Address Translator (NAT) Terminology and Considerations. IETF (August 1999)","DOI":"10.17487\/rfc2663"},{"issue":"1","key":"11_CR17","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1125808.1125810","volume":"15","author":"D. Basin","year":"2006","unstructured":"Basin, D., Dorser, J., Lodderstedt, T.: Model Driven Security: from UML Models to Access Control Infrastructures. ACM Transactions on Software Engineering and Methodology\u00a015(1), 39\u201391 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"11_CR18","unstructured":"OMG. MDA guide version 1.0. Technical Report omg\/2003-05-01, OMG (May 2003)"},{"issue":"3","key":"11_CR19","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1147\/sj.453.0451","volume":"45","author":"B. Hailpern","year":"2006","unstructured":"Hailpern, B., Tarr, P.: Model-driven development: The good, the bad, and the ugly. IBM Systems Journals\u00a045(3), 451\u2013462 (2006)","journal-title":"IBM Systems Journals"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02457-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T18:33:36Z","timestamp":1685039616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02457-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024566","9783642024573"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02457-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}