{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:40:36Z","timestamp":1771702836138,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540416104","type":"print"},{"value":"9783540445692","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44569-2_3","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T01:01:53Z","timestamp":1180573313000},"page":"39-56","source":"Crossref","is-referenced-by-count":50,"title":["IPSec\/VPN Security Policy: Correctness, Conflict Detection, and Resolution"],"prefix":"10.1007","author":[{"given":"Zhi","family":"Fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. Felix","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"He","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kung","family":"Loh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fengmin","family":"Gong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilia","family":"Baldine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chong","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,2,8]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Kent, S., Atkinson, R.: Security Architecture for the Internet Protocol. RFC-2401, IETF, Nov. 1998.","DOI":"10.17487\/rfc2401"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"1404","DOI":"10.1109\/49.257932","volume":"11","author":"J. D. Moffett","year":"1993","unstructured":"Moffett, J. D., Sloman, M. S.: Policy Hierarchies for Distributed Systems Management. IEEE Journal on Selected Areas in Communication, vol. 11, pp. 1404\u20131414, 1993","journal-title":"IEEE Journal on Selected Areas in Communication"},{"key":"3_CR3","unstructured":"Condell, M., Lynn, C., Zao, J.: Security Policy Specification Language. Internet Draft, \u2329draft-ietf-ipsp-spsl-00.txt\u232a, March, 2000"},{"key":"3_CR4","unstructured":"Jason, J.: IPsec Configuration Policy Model. Internet Draft \u2329draft-ietf-ipsp-config-policy-model-00.txt\u232a, March, 2000"},{"key":"3_CR5","unstructured":"Pereira, R., Bhattacharya, P., IPSec Policy Data Model. Internet Draft \u2329draft-ietf-ipsec-policy-model-00.txt\u232a, Feb. 1998"},{"key":"3_CR6","unstructured":"Moffett, J. D.: Requirements and Policies. Position paper for Policy Workshop 1999"},{"key":"3_CR7","unstructured":"Horowitz, E., Sahni, S.: Fundamentals of Computer Algorithms. Computer Science Press Inc.,1978."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Gen, M., Cheng, R.: Genetic Algorithms & Engineering Optimization. Wiley-Interscience, 2000","DOI":"10.1002\/9780470172261"},{"key":"3_CR9","unstructured":"Xu, C., Gong, F., Baldine, I., Sargor, C., Jou, F., Wu, S. F., Fu, Z., Huang, H.: Celestial Security Management System. DARPA Information Survivability Conference and Exposition, 2000. DISCEX\u2019 00. Proceedings, Volume: 1, 1999, Page(s): 162\u2013172 vol.1"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Fu, Z., Huang, H., Wu, T., Wu, S.F., Gong, F., Xu, C., Baldine, I: ISCP: Design and Implementation of An Inter-Domain Security Management Agent (SMA) Coordination Protocol. Proceedings, NOMS 2000, Pages 565\u2013578.","DOI":"10.1109\/NOMS.2000.830414"},{"key":"3_CR11","unstructured":"Sanchez, L.A., Condell, M.N: Security Policy System. Internet Draft, \u2329draft-ietf-ipsec-sps-00.txt\u232a, Nov. 1998"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Zao, J., Sanchez, L., Condell, M. Lyn, C., Fredette, M., Helinek, P., Krishnan, P., Jackson, A., Mankins, D., Shepard, M., Kent, S.: Domain Based Internet Security Policy Management. DARPA Information Survivability Conference and Exposition, 2000. DISCEX\u2019 00. Proceedings,1999, Pages: 41\u201353 vol.1","DOI":"10.1109\/DISCEX.2000.824955"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Lupu, E.C., Sloman, M: Conflict Analysis for Management Polcies. Proc. 5th IFIP\/IEEE International Symposium on Integrated Network Management, pages 430\u2013443, 1997","DOI":"10.1007\/978-0-387-35180-3_32"},{"issue":"6","key":"3_CR14","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1109\/32.824414","volume":"25","author":"E.C. Lupu","year":"1999","unstructured":"Lupu E.C., Sloman, M: Conflicts in Policy-Based Distributed Systems Management. IEEE Transaction on Software Engineering. Vol. 25, No. 6, pages 852\u2013869, Nov.\/Dec. 1999","journal-title":"IEEE Transaction on Software Engineering"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Cholvy L. and Cuppens, F.: Analyzing Consistency of Security Policies. IEEE Symposium on Security and Privacy, 1997, Proceedings","DOI":"10.1109\/SECPRI.1997.601324"}],"container-title":["Lecture Notes in Computer Science","Policies for Distributed Systems and Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44569-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T20:11:44Z","timestamp":1737058304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44569-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540416104","9783540445692"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44569-2_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}