{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T10:40:11Z","timestamp":1743244811468,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642304354"},{"type":"electronic","value":"9783642304361"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30436-1_15","type":"book-chapter","created":{"date-parts":[[2012,6,5]],"date-time":"2012-06-05T16:20:29Z","timestamp":1338913229000},"page":"174-186","source":"Crossref","is-referenced-by-count":15,"title":["Handling Stateful Firewall Anomalies"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Cuppens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Cuppens-Boulahia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joaquin","family":"Garcia-Alfaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tarik","family":"Moataz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Rimasson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-11747-3_10","volume-title":"Engineering Secure Software and Systems","author":"S. Preda","year":"2010","unstructured":"Preda, S., Cuppens-Boulahia, N., Cuppens, F., Garcia-Alfaro, J., Toutain, L.: Model-Driven Security Policy Deployment: Property Oriented Approach. In: Massacci, F., Wallach, D., Zannone, N. (eds.) ESSoS 2010. LNCS, vol.\u00a05965, pp. 123\u2013139. Springer, Heidelberg (2010)"},{"issue":"2","key":"15_CR2","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. Sec.\u00a07(2), 103\u2013122 (2008)","journal-title":"Int. J. Inf. Sec."},{"unstructured":"Adiseshu, H., Suri, S., Parulkar, G.: Detecting and Resolving Packet Filter Conflicts. In: INFOCOM, Tel Aviv, Israel, pp. 1203\u20131212 (2000)","key":"15_CR3"},{"unstructured":"Al-Shaer, E., Hamed, H.: Discovery of Policy Anomalies in Distributed Firewalls. In: INFOCOM, Hong Kong, China (2004)","key":"15_CR4"},{"unstructured":"Yuan, L., Mai, J., Su, Z., Chen, H., Chuah, C., Mohapatra, P.: FIREMAN: A Toolkit for FIREwall Modeling and ANalysis. In: IEEE Symposium on Security and Privacy, Berkeley, California, USA, pp. 199\u2013213 (2006)","key":"15_CR5"},{"unstructured":"Cheswick, W., Bellovin, S., Rubin, A.: Firewalls and Internet Security: Repelling the Wily Hacker, 2nd edn. Addison-Wesley (2003)","key":"15_CR6"},{"doi-asserted-by":"crossref","unstructured":"Gouda, M., Liu, A.: A model of stateful firewalls and its properties. In: DSN, Yokohama, Japan, pp. 128\u2013137 (2005)","key":"15_CR7","DOI":"10.1109\/DSN.2005.9"},{"unstructured":"Buttyan, L., P\u00e9k, G., Thong, T.V.: Consistency verification of stateful firewalls is not harder than the stateless case. Infocommunications Journal\u00a0LXIV (2009)","key":"15_CR8"},{"doi-asserted-by":"crossref","unstructured":"Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N., Preda, S.: MIRAGE: A Management Tool for the Analysis and Deployment of Network Security Policies. In: DPM\/SETOP, Athens, Greece, pp. 203\u2013215 (2010)","key":"15_CR9","DOI":"10.1007\/978-3-642-19348-4_15"},{"doi-asserted-by":"crossref","unstructured":"Guttman, J.: Filtering postures: Local enforcement for global policies. In: Proceedings, 1997 IEEE Symposium on Security and Privacy, pp. 120\u2013129. IEEE Computer Society Press (1997)","key":"15_CR10","DOI":"10.1109\/SECPRI.1997.601327"},{"unstructured":"Bartal, Y., Mayer, A., Nissim, K., Wool, A.: Firmato: A novel firewall management toolkit (1999)","key":"15_CR11"},{"doi-asserted-by":"crossref","unstructured":"Cuppens, F., Cuppens-Boulahia, N., Sans, T., Mi\u00e8ge, A.: A formal approach to specify and deploy a network security policy. In: Formal Aspects in Security and Trust, pp. 203\u2013218 (2004)","key":"15_CR12","DOI":"10.1007\/0-387-24098-5_15"},{"issue":"7","key":"15_CR13","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1016\/j.jss.2011.02.005","volume":"84","author":"S. Preda","year":"2011","unstructured":"Preda, S., Cuppens, F., Cuppens-Boulahia, N., Garcia-Alfaro, J., Toutain, L.: Dynamic deployment of context-aware access control policies for constrained security devices. Journal of Systems and Software\u00a084(7), 1144\u20131159 (2011)","journal-title":"Journal of Systems and Software"},{"doi-asserted-by":"crossref","unstructured":"Hazelhurst, S., Attar, A., Sinnappan, R.: Algorithms for improving the dependability of firewall and filter rule lists. In: DSN, pp. 576\u2013585 (2000)","key":"15_CR14","DOI":"10.1109\/ICDSN.2000.857593"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11516798_15","volume-title":"Principles of Distributed Systems","author":"A.X. Liu","year":"2005","unstructured":"Liu, A.X., Gouda, M.G., Ma, H.H., Ngu, A.H.: Firewall Queries. In: Higashino, T. (ed.) OPODIS 2004. LNCS, vol.\u00a03544, pp. 197\u2013212. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Mayer, A., Wool, A., Ziskind, E.: Fang: A firewall analysis engine. In: IEEE Symposium on Security and Privacy, pp. 177\u2013187 (2000)","key":"15_CR16","DOI":"10.1109\/SECPRI.2000.848455"},{"doi-asserted-by":"crossref","unstructured":"Baboescu, F., Varghese, G.: Scalable packet classification. In: ACM SIGCOMM, pp. 199\u2013210 (2001)","key":"15_CR17","DOI":"10.1145\/964723.383075"},{"unstructured":"Eppstein, D., Muthukrishnan, S.: Internet packet filter management and rectangle geometry, pp. 827\u2013835 (2001)","key":"15_CR18"},{"doi-asserted-by":"crossref","unstructured":"Al-Shaer, E., Hamed, H.: Firewall policy advisor for anomaly discovery and rule editing. In: Integrated Network Management, pp. 17\u201330 (2003)","key":"15_CR19","DOI":"10.1007\/978-0-387-35674-7_2"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/11863908_30","volume-title":"Computer Security \u2013 ESORICS 2006","author":"J.G. Alfaro","year":"2006","unstructured":"Alfaro, J.G., Cuppens, F., Cuppens-Boulahia, N.: Analysis of Policy Anomalies on Distributed Network Security Setups. In: Gollmann, D., Meier, J., Sabelfeld, A. (eds.) ESORICS 2006. LNCS, vol.\u00a04189, pp. 496\u2013511. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Alfaro, J.G., Cuppens, F., Cuppens-Boulahia, N.: Management of exceptions on access control policies. In: SEC, pp. 97\u2013108 (2007)","key":"15_CR21","DOI":"10.1007\/978-0-387-72367-9_9"},{"doi-asserted-by":"crossref","unstructured":"Srinivasan, V., Suri, S., Varghese, G.: Packet classification using tuple space search. In: Proc. of SIGCOMM, pp. 135\u2013146 (1999)","key":"15_CR22","DOI":"10.1145\/316194.316216"},{"doi-asserted-by":"crossref","unstructured":"Fitzgerald, W., Foley, S., Foghl\u00fa, M.\u00d3.: Network access control interoperation using semantic web techniques. In: WOSIS, pp. 26\u201337 (2008)","key":"15_CR23","DOI":"10.5220\/0001743300260037"}],"container-title":["IFIP Advances in Information and Communication Technology","Information Security and Privacy Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30436-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T10:09:43Z","timestamp":1743242983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30436-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642304354","9783642304361"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30436-1_15","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}