{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T03:27:33Z","timestamp":1764732453786},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642193477"},{"type":"electronic","value":"9783642193484"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-19348-4_15","type":"book-chapter","created":{"date-parts":[[2011,2,11]],"date-time":"2011-02-11T10:50:20Z","timestamp":1297421420000},"page":"203-215","source":"Crossref","is-referenced-by-count":19,"title":["MIRAGE: A Management Tool for the Analysis and Deployment of Network Security Policies"],"prefix":"10.1007","author":[{"given":"Joaquin","family":"Garcia-Alfaro","sequence":"first","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":"Stere","family":"Preda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Abou el Kalam, A., Baida, R., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Mi\u00e8ge, A., Saurel, C., Trouessin, G.: Organization Based Access Control. In: IEEE 4th Intl. Workshop on Policies for Distributed Systems and Networks, Lake Come, Italy, pp. 120\u2013131 (2003)"},{"key":"15_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book \u2014 Assigning Programs to Meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book \u2014 Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996) ISBN 052149619-5"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Al-Shaer, E.S., Hamed, H.H.: Discovery of Policy Anomalies in Distributed Firewalls.. In: IEEE INFOCOM 2004 (March 2004)","DOI":"10.1109\/INFCOM.2004.1354680"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Al-Shaer, E.S., Hamed, H.H.: Taxonomy of Conflicts in Network Security Policies. IEEE Communications Magazine\u00a044(3) (March 2006)","DOI":"10.1109\/MCOM.2006.1607877"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Deductive and Object-Oriented Databases","author":"C. Baral","year":"1997","unstructured":"Baral, C., Lobo, J., Trajcevski, G.: Formal Characterization of Active Databases. In: Bry, F. (ed.) DOOD 1997. LNCS, vol.\u00a01341. Springer, Heidelberg (1997)"},{"key":"15_CR6","unstructured":"Baek, S., Jeong, M., Park, J., Chung, T.: Policy based Hybrid Management Architecture for IP-based VPN. In: Network Operations and Management Symposium, NOMS 2000 (2000)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Bartal, Y., Mayer, A., Nissim, K., Wool, A.: Firmato: A Novel Firewall Management Toolkit. In: IEEE Symposium on Security and Privacy, Oakland, California, pp. 17\u201331 (May 1999)","DOI":"10.1109\/SECPRI.1999.766714"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/11955757_19","volume-title":"B 2007: Formal Specification and Development in B","author":"N. Bena\u00efssa","year":"2006","unstructured":"Bena\u00efssa, N., Cansell, D., M\u00e9ry, D.: Integration of Security Policy into System Modeling. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 232\u2013247. Springer, Heidelberg (2006)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Cuppens, F., Cuppens, N., Sans, T., Mi\u00e8ge, A.: A formal approach to specify and deploy a network security policy. In: Second Workshop on Formal Aspects in Security and Trust, Toulouse, France, pp. 203\u2013218 (August 2004)","DOI":"10.1007\/0-387-24098-5_15"},{"key":"15_CR10","unstructured":"Cuppens, F., Cuppens, N., Garcia-Alfaro, J.: Misconfiguration management of network security components. In: 7th International Symposium on System and Information Security (SSI 2005), Sao Paulo, Brazil, pp. 1\u201310 (November 2005)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Fu, Z., Wu, S., Huang, H., Loh, K., Gong, F., Baldine, I., Xu, C.: IPSec\/VPN Security Policy: Correctness, Conflict Detection and Resolution. In: International Policy Workshop (January 2001)","DOI":"10.1007\/3-540-44569-2_3"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11875567_14","volume-title":"Computer Safety, Reliability, and Security","author":"J. Garc\u00eda-Alfaro","year":"2006","unstructured":"Garc\u00eda-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N.: Towards Filtering and Alerting Rule Rewriting on Single-Component Policies. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 182\u2013194. Springer, Heidelberg (2006)"},{"key":"15_CR13","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. Garc\u00eda-Alfaro","year":"2006","unstructured":"Garc\u00eda-Alfaro, J., 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)"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1109\/ARES.2007.34","volume-title":"2nd International Conference on Availability, Reliability and Security (ARES 2007)","author":"J. Garcia-Alfaro","year":"2007","unstructured":"Garcia-Alfaro, J., Cuppens, F., Cuppens, N.: Aggregating and Deploying Network Access Control Policies. In: 2nd International Conference on Availability, Reliability and Security (ARES 2007), Vienna, Austria, pp. 532\u2013539. IEEE Computer Society, Los Alamitos (April 2007)"},{"issue":"2","key":"15_CR15","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., Cuppens, F., Cuppens, N.: Complete Analysis of Configuration Rules to Guarantee Reliable Network Security Policies. International Journal of Information Security\u00a07(2), 103\u2013122 (2008)","journal-title":"International Journal of Information Security"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Liu, A.X., Gouda, M.G.: Complete Redundancy Detection in Firewalls. In: 19th Annual IFIP Conference on Data and Applications Security (DBSec 2005), Storrs, Connecticut, pp. 196\u2013209 (August 2005)","DOI":"10.1007\/11535706_15"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Preda, S., Cuppens, F., Cuppens-Boulahia, N., Garcia-Alfaro, J., Toutain, L., Elrakaiby, Y.: A Semantic Context Aware Security Policy Deployment. In: ACM Symposium on Information, Computer and Communications Security, Sydney, Australia, pp. 251\u2013261 (March 2009)","DOI":"10.1145\/1533057.1533092"},{"key":"15_CR18","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)"},{"key":"15_CR19","volume-title":"Fifth International Conference on Availability, Reliability and Security (ARES 2010)","author":"S. Preda","year":"2010","unstructured":"Preda, S., Cuppens-Boulahia, N., Cuppens, F., Toutain, L.: Architecture-Aware Adaptive Deployment of Contextual Security Policies. In: Fifth International Conference on Availability, Reliability and Security (ARES 2010). IEEE Computer Society, Los Alamitos (February 2010)"},{"issue":"2","key":"15_CR20","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R. Sandhu","year":"1996","unstructured":"Sandhu, R., Coyne, E., Feinstein, H., Youman, C.: Role-Based Access Control Models. IEEE Computer\u00a029(2), 38\u201347 (1996)","journal-title":"IEEE Computer"},{"key":"15_CR21","unstructured":"Yuan, L., Mai, J., Su, S., Chen, H., Chuah, C., Mohapatra, P.: FIREMAN: a toolkit for FIREwall Modeling and ANalysis. In: IEEE Symposium on Security and Privacy, Oakland, California, pp. 199\u2013213 (2006)"}],"container-title":["Lecture Notes in Computer Science","Data Privacy Management and Autonomous Spontaneous Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19348-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T14:10:08Z","timestamp":1560003008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19348-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642193477","9783642193484"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19348-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}