{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T05:33:57Z","timestamp":1736919237825,"version":"3.33.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,3,15]],"date-time":"2007-03-15T00:00:00Z","timestamp":1173916800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,3,15]],"date-time":"2007-03-15T00:00:00Z","timestamp":1173916800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Netw Syst Manage"],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1007\/s10922-007-9063-z","type":"journal-article","created":{"date-parts":[[2007,3,14]],"date-time":"2007-03-14T16:06:32Z","timestamp":1173888392000},"page":"241-266","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Implementation of a Formal Security Policy Refinement Process in WBEM Architecture"],"prefix":"10.1007","volume":"15","author":[{"given":"Romain","family":"Laborde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Kamel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Barr\u00e8re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelmalek","family":"Benzekri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,3,15]]},"reference":[{"key":"9063_CR1","unstructured":"ISO, OSI Reference Model-Security Architecture, ISO 7498-2, 1988."},{"key":"9063_CR2","doi-asserted-by":"crossref","unstructured":"R. Laborde, B. Nasser, F. Grasset, F. Barr\u00e8re, and A. Benzekri, Network Security Management: A Formal Evaluation Tool based on RBAC Policies. IFIP NetCon'2004, Springer ISBN 0-387-23197-8, pp. 69\u201380.","DOI":"10.1007\/0-387-23198-6_6"},{"key":"9063_CR3","doi-asserted-by":"crossref","unstructured":"P. Samarati and S. De Capitani di Vimercati, Access Control: Policies, Models and Mechanisms, Foundations of Security Analysis and Design, LNCS 2171, 2001.","DOI":"10.1007\/3-540-45608-2_3"},{"key":"9063_CR4","unstructured":"Y. Bartal, A. Mayer, K. Nissim, and A. Wool, Firmato: A Novel Firewall Management Toolkit. In: Proceedings of 1999 IEEE Symposium on Security and Privacy, May 1999."},{"key":"9063_CR5","unstructured":"Ehab Al-Shaer and Hazem Hamed, Discovery of Policy Anomalies in Distributed Firewalls. In: IEEE INFOCOMM'04, 2004."},{"key":"9063_CR6","doi-asserted-by":"crossref","unstructured":"Z. Fu, F. Wu, H. Huang, K. Loh, F. Gong, I. Baldine, and C. Xu, IPSec\/VPN Security Policy: Correctness, Conflict Detection and Resolution. In: Policy'2001 Workshop, 2001.","DOI":"10.1007\/3-540-44569-2_3"},{"key":"9063_CR7","doi-asserted-by":"crossref","unstructured":"J. D. Guttman and A. M. Herzog, Rigorous Automated Network Security Management, International Journal of Information Security, Vol. 4, No. 3, 2004.","DOI":"10.1007\/s10207-004-0052-x"},{"key":"9063_CR8","doi-asserted-by":"crossref","unstructured":"M. Sloman, Policy Driven Management for Distributed Systems, Journal of Network and Systems Management, Vol 2, No. 4, 1994.","DOI":"10.1007\/BF02283186"},{"key":"9063_CR9","doi-asserted-by":"crossref","unstructured":"A. Westerinen, J. Schnizlein, J. Strassner, M. Scherling, B. Quinn, S. Herzog, A. Huynh, M. Carlson, J. Perry, and S. Waldbusser, Terminology for Policy-Based Management, RFC 3198, 2001.","DOI":"10.17487\/rfc3198"},{"key":"9063_CR10","doi-asserted-by":"crossref","unstructured":"J. Moffet and M. S. Sloman, Policy Hierarchies for Distributed Systems Management, IEEE JSAC 11 - Special Issue on Network Management, 1993.","DOI":"10.1109\/49.257932"},{"key":"9063_CR11","doi-asserted-by":"crossref","unstructured":"Arosha K. Bandara, Emil C Lupu, Jonathan Moffet, and Alessandra Russo, A Goal-Based Approach to Policy Refinement, In: Policy 2004, 5th International Workshop Policies for Distributed Systems and Networks, 2004.","DOI":"10.1109\/POLICY.2004.1309175"},{"key":"9063_CR12","unstructured":"A. Van Lamsweerde, Goal-Oriented Requirements Engineering: A Roundtrip from Research to Practice, RE'04, 2004."},{"key":"9063_CR13","doi-asserted-by":"crossref","unstructured":"A. Dardenne, A. Van Lamsweerde, and S. Fickas, A Goal Directed Requirements Acquisition, Science of Computer Programming, Vol. 20, 1993.","DOI":"10.1016\/0167-6423(93)90021-G"},{"key":"9063_CR14","doi-asserted-by":"crossref","unstructured":"I. L\u00fcck, C. Sch\u00e4fer, and H. Krumm, Model-Based Tool-Assistance for Packet-Filter Design. In: Policy 2001, LNCS 1995, Springer-Verlag, pp. 120\u2013136, 2001.","DOI":"10.1007\/3-540-44569-2_8"},{"key":"9063_CR15","doi-asserted-by":"crossref","unstructured":"I. L\u00fcck, S. V\u00f6gel, and H. Krumm, Model-Based Configuration of VPNs. In R. Stadtler, M. Ulema (eds.), Proc. 8th IEEE\/IFIP Network Operations and Management Symposium NOMS 2002, IEEE, pp. 589\u2013602, 2002.","DOI":"10.1109\/NOMS.2002.1015610"},{"key":"9063_CR16","doi-asserted-by":"crossref","unstructured":"R. Laborde, B. Nasser, F. Grasset, F. Barr\u00e8re, and A. Benz\u00e9kri, A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies. In: Electronic Notes in Theoretical Computer Science \u2013 Proceedings of WISP'04, Vol. 121, Elsevier, 2005.","DOI":"10.1016\/j.entcs.2004.10.011"},{"key":"9063_CR17","unstructured":"R. Laborde, F. Barr\u00e8re, and A. Benz\u00e9kri, A Security Management Information Model Derivation Framework: From Goals to Configurations. In: 3rd International Workshop on Formal Aspects in Security and Trust (FAST2005), LNCS 3866, 2005."},{"key":"9063_CR18","unstructured":"ANSI, Role-Based Access Control, ANSI\/INCITS 359-2004, February 2004."},{"key":"9063_CR19","unstructured":"URL: http:\/\/www.dmtf.org\/standards\/cim"},{"key":"9063_CR20","unstructured":"URL: http:\/\/www.dmtf.org\/standards\/wbem\/"},{"key":"9063_CR21","unstructured":"URL: http:\/\/wbemservices.sourceforge.net\/"},{"key":"9063_CR22","unstructured":"M. Sibilla, A. Barros DeSales, T. Desprats, D. Marqui\u00e9, Y. Steff, F. Jocteur-Monrozier, and A. Rivi\u00e8re, CAMELEON: A CIM Modelware Platform for Distributed Integrated Management. In: The Annual DMTF Developers Conference, 2002."},{"key":"9063_CR23","unstructured":"F. Barr\u00e8re, A. Benzekri, F. Grasset, R. Laborde, and B. Nasser, SPIDERNet : The Security Policy Derivation for Networks tool. In: 3rd IEEE Latin America Network Operations and Management Symposium (LANOMS), 2003."},{"key":"9063_CR24","unstructured":"P. Congdon, B. Lane, Station and Media Access Control Connectivity Discovery, IEEE Standard draft 802.1AB, 2004."},{"key":"9063_CR25","unstructured":"URL: http:\/\/www.cisco.com\/en\/US\/products\/sw\/iosswrel\/ps1831\/products_configuration_guide_ chapter09186a00800ca66d.html"},{"key":"9063_CR26","unstructured":"M. Sibilla, A. Barros DeSales, Y. Raynaud, and F.Jocteur-Monrozier. An Active CIM_Dependency Pattern for a Consistence Service Monitoring. In: IEEE\/IFIP Network Operations and Management Symposium (NOMS), 2004."}],"container-title":["Journal of Network and Systems Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10922-007-9063-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10922-007-9063-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10922-007-9063-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10922-007-9063-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T23:10:31Z","timestamp":1736896231000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10922-007-9063-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,15]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["9063"],"URL":"https:\/\/doi.org\/10.1007\/s10922-007-9063-z","relation":{},"ISSN":["1064-7570","1573-7705"],"issn-type":[{"type":"print","value":"1064-7570"},{"type":"electronic","value":"1573-7705"}],"subject":[],"published":{"date-parts":[[2007,3,15]]},"assertion":[{"value":"15 March 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}