{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,3]]，“日期-时间”：“2024-07-03T19:58:53Z”，“时间戳”：1720036733842}，“参考-计数”：23，“出版商”：“爱思唯尔BV”，“许可证”：[{“开始”：{-date-parts”：[[2015,12,1]]，”日期-时间“：”2015-12-01T00:00:00 Z“，”timestamp“：1448928000000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}]，“内容域”：{“域”：[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[”计算机网络“]，”published-print“：{”date-parts“：[2015,12]]}，”DOI“：”10.1016\/j.comnet.2015.10.008“，”type“：”journal-article“，”created“：{“date-parts”：[[2015,10,23]]，“date-time”：“2015-10-23T21:07:47Z”，“timestamp”：1445634467000}，“page”：“480-491”，“update-policy”：”http://\/dx.doi.org\/10.1016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：11，“special_numberg”：“P3”，“title”：[“验证云中虚拟机迁移的防火墙重新配置”]，“prefix”：“10.1016”，“volume”：“93”，“author”：[{“给定”：“Yosr”，“family”：“Jarraya”，“sequence”：“first”，“affiliation”：[]}，{“给出”：“Arash”，“家族”：“Eghtesadi”，“序列”：“additional”，“从属关系”：[]}，}“给定的”：“Sahba”，“：”Debbabi“，”sequence“：”additional“，”affiliation“：[]}，{“given”：“Makan”，“family”：“Pourzandi”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：《10.1016\/j.comnet.2015.10.008_bib0001》，“series-title”：“指称语义学：语言发展的方法论”，“author”：“Schmidt”，“year”：“1997”}，{“密钥”：“10.1016\/j.connet.2015.10.008_bib10002”，“series-title”：“第二届国际CSP解算器竞赛论文集”，“首页”：“65”，“文章标题”：“Sugar：基于顺序编码的CSP到SAT翻译器”，“作者”：“Tamura”，“年份”：“2008”｝，｛“问题”：“10”，“密钥”：“10.1016\/j.com.net.2015.010.0008_bib0003”，“doi asserted by”：“crossref”，“首页”：“2069”，“doi”：“10.1109\/JSAC.2005.854119”，“文章标题”：“分布式防火墙策略的冲突分类和分析”，“卷”：“23”，“作者”：“Al-Shaer”，“年份”：“2005”，“日志标题”：“IEEE J.Sel.Areas Commun.”}，{“key”：“10.1016\/J.comnet.2015.10.008_bib0004”，“series-title”：“第19届IFIP数据和应用安全年会论文集”，“首页”：“196”，“article-title”：“防火墙中的完全冗余检测”，“author”：“Liu”，“year”：“2005”}，{“issue”：“4”，“key”：“10.1016\/j.comnet.2015.10.008_bib0005”，“first page”：”5“，“article-title”：“集中式和分布式防火墙异常检测机制的实现”，“volume”：：“7”，“作者”：“Chaure”，“年份”：“2010”，“日记标题”：“Int.j.Compute.Appl.”}，{“issue”：“11”，“key”：“10.1016\/j.comnet.2015.10.008_bib0006”，“首页”：“683”，“article-title”：“使用基于位向量的空间演算的基于拓扑的防火墙策略冲突检测系统”，“volume”：”4“，“author”：“Thanasegaran”，“year”：“2011”，“journal-title“Int.j.Compute.Netw.Secur.”}，{“key“：”10.1016\/j.connet.2015.10.008_bib5007“，“series-title”：“数据隐私管理和自主自发安全”，“首页”：“203”，“文章标题”：“幻影：用于分析和部署网络安全策略的管理工具”，“作者”：“Garcia-Alfaro”，“年份”：“2011”}，{“密钥”：“10.1016\/j.comnet.2015.10.008_bib0008”，“series-title”：“可靠系统和网络国际会议论文集（DSN\u201905）”，“首页”：“128”，“文章标题”：“状态防火墙及其属性的模型”，“作者”：“Gouda”，“年份”：“2005”}，{“密钥”：“10.1016\/j.comnet.2015.10.008_bib0009”，“系列标题”：：“处理状态防火墙异常”，“卷”：“376”，“作者”：“纸杯”，“年份”：“2012”}，{“密钥”：“10.1016\/j.comnet.2015.10.008_bib0010”，“series-title”：“第三届软件测试、验证和验证国际会议论文集”，“首页”：“345”，“文章标题”：“用于生成测试用例的验证的防火墙策略转换”，“author”：“Brucker”，“year”：“2010”}，{“issue”：“1”，“key”：“10.1016\/j.comnet.2015.10.008_bib0011”，”first page“：”77“，”article-title“：“防火墙和路由器访问列表的管理和验证”，“volume”：”23“，”author“：”Hassan“，”year“：”2004“，”journal title“：”Compute.Inf.“}，”{“key“：“10.1016\/j.comnet.2015.10.008_bib0012”，“series-title”：“第六届国际互联网技术与安全交易会议论文集”，“article-title”：“使用域限制方法建模和验证防火墙配置”，“author”：“Amjad Gawanmeh”，“year”：“2011”}，{“key”：，“series-title”：“IEEE INFOCOM会议记录”，“首页”：“2123”，“article-title”：“防火墙验证和冗余检查等效”，“author”：“Acharya”，“year”：“2011”}，{“key”：”10.1016\/j.comnet.2015.10.008_bib0014“，“series-title“：”2010 IEEE第二届社会计算国际会议记录“，”首页“：”834“，“article-title”：“分布式防火墙对安全要求的自动符合性验证”，“author”：“Ben Youssef”，“year”：“2010”}，{“key”：“10.1016\/j.comnet.2015.10.008_bib0015”，“series-title”：《未来计算、通信、控制和管理》，“首页”：“135”，“artice-title“：“使用约束满足问题服务器验证安全策略和防火墙策略的一致性”，“author”：“Yin”，“year”：“2012”}，{“key”：“10.1016\/j.comnet.2015.10.008_bib0016”，“series-title”：“稳定、安全与安全国际研讨会论文集，SSS\u201915”，“首页”：“111”，“article-title”：“正式验证云中迁移虚拟机的安全保护”，“author”：“Jarraya”，“year”：“2012”}，{“key”：“10.1016\/j.comnet.2015.10.008_bib0017”，“series-title”：“第17届IEEE网络协议国际会议论文集，ICNP”，“首页”：“123”，“article-title”：“盒子中的网络配置：朝向网络可达性和安全性的端到端验证”，“作者”：“Al-Shaer”，“年份”：“2009”}，{“密钥”：“10.1016\/j.comnet.2015.10.008_bib0018”，“系列-标题”：“IEEE全球电信会议论文集，GLOBECOM 2008”，“首页”：“1”，“文章-标题”：“分布式防火墙的验证”，“author”：“Gouda”，“year”：“2008”}，{“key”：“10.1016\/j.comnet.2015.10.008_bib0019”，“series-title”：“软件方法、工具和技术新趋势会议论文集，荷兰阿姆斯特丹”，“article-title”：《防火墙的形式规范和分析》，“au作者”：“Mejri”，“年份”：“2009”}，｛“key”：“10.1016\/j.com.net-2015.10.008_bib0020”，“系列标题”：“数字信息通信技术及其应用”，“首页”：“493”，“文章标题”：“处理有状态防火墙检查”，“作者”：“Youssef”，“年份”：“2011”｝，｛“key”：“10.1016\/j.com.net-2015.10.008_bib0021”，“系列标题”：“IEEE协作技术与系统国际会议论文集，CTS”，“首页”：“447”，“文章标题”：“云演算：弹性云计算平台中的安全验证”，“作者”：“Jarraya”，“年份”：“2012”}，{“密钥”：“10.1016\/j.comnet.2015.10.008_bib0022”，“doi-asserted-by”：“crossref”，“非结构化”：“Y.Jarraya，A。Eghtesadi，S.Sadri，M.Debbabi，M.Pourzandi，《云计算中虚拟机迁移的防火墙重新配置验证》（补充材料），2015年。https:\/\/www.researchgate.net\/publication\/282155566_Verification_of_Firewall_Reconfiguration_for_Virtual_Machines_Migrations_in_the_Cloud。“，”DOI“：”10.1016\/j.comnet.2015.10.008“}，{”key“：”101016\/j.comnet.2015.10.008_bib0023“，”series-title“：”可满足性测试理论与应用-SAT 2011“，”first page“：“371”，”article-title“：“顺序编码：从可处理的CSP到可处理的SAT”，“author”：“Petke”，“year”：“2011”}]，”container-title，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S138912861500376X？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://api.elsevier.com/content\/aarticle\-PII:S138091286150376X吗？httpAccess=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,8,31]]，“date-time”：“2019-08-31T21:45:53Z”，“timestamp”：1567287953000}，“score”：1，“resource”：{primary“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S138912861500376X”}}，《字幕》：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2015,12]]}，“references-count”：23，“alternative-id”：[“S138912861500376X”]，“URL”：“http://\/dx.doi.org\/101016\/j.comnet.2015.10.008”，“relation”：{}，“ISSN”：[”1389-1286“]，“ISSN-type”：[{“value”：“1389-1288”，“type”:“print”}]，“subject”：[/]，“published”：{“date-parts”：[2015,12]]}，”assertion“：[{“value”：“Elsevier”，“name”：“publisher”，“label”：“本文由”}维护，{“value”：“验证云中虚拟机迁移的防火墙重新配置”，“name”：“articletitle”，“label”：“Article Title”}，{”value“：“Computer Networks”，“name”：“journaltitle”、“label“：”Journal Title“}，”{“value”：“https:\\/doi.org\/101016\/j.comnet.2015.10.008”，“名称”：“rticlelink”，“标签”：“CrossRef DOI link to publisher maintained version”}，{“value”：“article”，“name”：“content_type”，“label”：“content-type”}