{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:50:29Z","timestamp":1725749429127},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415326"},{"type":"electronic","value":"9783642415333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_4","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:40:59Z","timestamp":1379590859000},"page":"52-68","source":"Crossref","is-referenced-by-count":5,"title":["Model-Driven Extraction and Analysis of Network Security Policies"],"prefix":"10.1007","author":[{"given":"Salvador","family":"Mart\u00ednez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joaquin","family":"Garcia-Alfaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Cuppens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Cuppens-Boulahia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Building secure software: how to avoid security problems the right way. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)"},{"key":"4_CR2","unstructured":"Firewall Reverse Engineering project web site (2013), \n                    \n                      http:\/\/www.emn.fr\/z-info\/atlanmod\/index.php\/Firewall_Reverse_Engineering"},{"issue":"2","key":"4_CR3","doi-asserted-by":"crossref","first-page":"223","DOI":"10.3233\/JCS-2008-16206","volume":"16","author":"M. Alam","year":"2008","unstructured":"Alam, M., Hafner, M., Breu, R.: Constraint based role based access control in the sectet-framework: A model-driven approach. J. Comput. Secur.\u00a016(2), 223\u2013260 (2008)","journal-title":"J. Comput. Secur."},{"issue":"4","key":"4_CR4","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 Trans. Comput. Syst.\u00a022(4), 381\u2013420 (2004)","journal-title":"ACM Trans. Comput. Syst."},{"key":"4_CR5","unstructured":"Bishop, M., Peisert, S.: Your security policy is what?? Technical report (2006)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1109\/ICST.2010.50","volume-title":"Third International Conference on Software Testing, Verification, and Validation (ICST)","author":"A.D. Brucker","year":"2010","unstructured":"Brucker, A.D., Br\u00fcgger, L., Kearney, P., Wolff, B.: Verified firewall policy transformations for test-case generation. In: Third International Conference on Software Testing, Verification, and Validation (ICST), pp. 345\u2013354. IEEE Computer Society, Los Alamitos (2010)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Fisler, K., Krishnamurthi, S., Meyerovich, L.A., Tschantz, M.C.: Verification and change-impact analysis of access-control policies. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 196\u2013205. ACM, New York (2005)","DOI":"10.1145\/1062455.1062502"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s10207-007-0045-7","volume":"7","author":"J. Garcia-Alfaro","year":"2008","unstructured":"Garcia-Alfaro, J., Boulahia-Cuppens, N., Cuppens, F.: Complete analysis of configuration rules to guarantee reliable network security policies. Int. J. Inf. Secur.\u00a07(2), 103\u2013122 (2008)","journal-title":"Int. J. Inf. Secur."},{"key":"4_CR9","first-page":"532","volume-title":"Aggregating and deploying network access control policies","author":"J. Garcia-Alfaro","year":"2007","unstructured":"Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N.: Aggregating and deploying network access control policies, pp. 532\u2013542. IEEE Computer Society, Los Alamitos (2007)"},{"key":"4_CR10","series-title":"IFIP","first-page":"97","volume-title":"SEC","author":"J. Garcia-Alfaro","year":"2007","unstructured":"Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N.: Management of exceptions on access control policies. In: Venter, H., Eloff, M., Labuschagne, L., Eloff, J., von Solms, R. (eds.) SEC. IFIP, vol.\u00a0232, pp. 97\u2013108. Springer, Boston (2007)"},{"issue":"6","key":"4_CR11","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/s10009-008-0087-9","volume":"10","author":"G. Hughes","year":"2008","unstructured":"Hughes, G., Bultan, T.: Automated verification of access control policies using a sat solver. Int. J. Softw. Tools Technol. Transf.\u00a010(6), 503\u2013520 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"4_CR13","unstructured":"Lockhart, H., Parducci, B., Anderson, A.: OASIS XACML TC (2013)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Mart\u00ednez, S., Cabot, J., Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N.: A model-driven approach for the extraction of network access-control policies. In: Proceedings of the Workshop on Model-Driven Security, MDsec 2012, pp. 5:1\u20135:6. ACM (2012)","DOI":"10.1145\/2422498.2422503"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1109\/SECPRI.2000.848455","volume-title":"Proceedings of the 2000 IEEE Symposium on Security and Privacy, SP 2000","author":"A. Mayer","year":"2000","unstructured":"Mayer, A., Wool, A., Ziskind, E.: Fang: A firewall analysis engine. In: Proceedings of the 2000 IEEE Symposium on Security and Privacy, SP 2000, pp. 177\u2013187. IEEE Computer Society, Washington, DC (2000)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/978-3-540-87875-9_38","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Mouelhi","year":"2008","unstructured":"Mouelhi, T., Fleurey, F., Baudry, B., Le Traon, Y.: A model-based framework for security policy specification, deployment and testing. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 537\u2013552. Springer, Heidelberg (2008)"},{"key":"4_CR17","first-page":"1","volume-title":"Proceedings of the 24th International Conference on Large Installation System Administration, LISA 2010","author":"T. Nelson","year":"2010","unstructured":"Nelson, T., Barratt, C., Dougherty, D.J., Fisler, K., Krishnamurthi, S.: The margrave tool for firewall analysis. In: Proceedings of the 24th International Conference on Large Installation System Administration, LISA 2010, pp. 1\u20138. USENIX Association, Berkeley (2010)"},{"issue":"2","key":"4_CR18","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/j.jss.2011.09.008","volume":"85","author":"S. Pozo","year":"2012","unstructured":"Pozo, S., Gasca, R.M., Reina-Quintero, A.M., Varela-Vaca, A.J.: Confiddent: A model-driven consistent and non-redundant layer-3 firewall acl design, development and maintenance framework. Journal of Systems and Software\u00a085(2), 425\u2013457 (2012)","journal-title":"Journal of Systems and Software"},{"key":"4_CR19","unstructured":"Russell, R.: Linux 2.4 packet filtering howto (2002), \n                    \n                      http:\/\/www.netfilter.org\/documentation\/HOWTO\/packet-filtering-HOWTO.html"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/344287.344301","volume-title":"Proceedings of the Fifth ACM Workshop on Role-based Access Control, RBAC 2000","author":"R. Sandhu","year":"2000","unstructured":"Sandhu, R., Ferraiolo, D., Kuhn, R.: The nist model for role-based access control: towards a unified standard. In: Proceedings of the Fifth ACM Workshop on Role-based Access Control, RBAC 2000, pp. 47\u201363. ACM, New York (2000)"},{"key":"4_CR21","unstructured":"Tisi, M., Mart\u00ednez, S., Jouault, F., Cabot, J.: Refining Models with Rule-based Model Transformations. Rapport de recherche RR-7582, INRIA (2011)"},{"key":"4_CR22","unstructured":"Tongaonkar, A., Inamdar, N., Sekar, R.: Inferring higher level policies from firewall rules. In: Proceedings of the 21st Conference on Large Installation System Administration Conference, LISA 2007. LISA 2007, pp. 2:1\u20132:10. USENIX Association, Berkeley (2007)"},{"key":"4_CR23","first-page":"561","volume-title":"Proceedings of the IEEE International Conference on Web Services, ICWS 2005","author":"E. Yuan","year":"2005","unstructured":"Yuan, E., Tong, J.: Attributed based access control (abac) for web services. In: Proceedings of the IEEE International Conference on Web Services, ICWS 2005, pp. 561\u2013569. IEEE Computer Society, Washington, DC (2005)"},{"key":"4_CR24","unstructured":"Zaliva, V.: Platform-independent firewall policy representation. CoRR, abs\/0805.1886 (2008)"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41533-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:32:37Z","timestamp":1558078357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}