{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,11,30]]，“日期-时间”：“2023-11-30T23:01:00Z”，“时间戳”：1701385260419}，“引用-计数”：43，“发布者”：“IEEE”，“许可证”：[{“开始”：{-“日期-零件”：[2022,3,1]]，”日期-时间“：”2022-03-01:00:00Z“，时间戳”“：16460928000000}，”内容-版本“：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[2022,3,1]]，“date-time”：“2022-03-01T00:00:00Z”，“timestamp”：16460928000000}，“content-version”：“stm-asf”，“出资人”：[{“doi”：“10.13039\/501100002367”，“名称”：“中国科学院”，“doi-asserted-by”：“publisher”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[202022,3]]}，”doi“：”10.1109\/saner53432.2022.0022.0081“，”type“：”proceedings-article“，”created“：{”date-ports“：[2022,7,21]]，”date-time“：”2022-07-21T19:36:44 5Z“，”时间戳“：1658432205000}，”源“：“Crossref”，“is-referenced-by-count”：1，“title”：[“RIBDetector:一种RFC-guided Inconsistency Bug Detection Approach for Protocol Implementations”]，“prefix”：“10.1109”，”author“：[{”given“：”Jingting“，”family“：”Chen“，”sequence“：”first“，”affiliation“：[}”name:“中国科学院信息工程研究所”}]}，{“given”：“Feng”，“family”：“Li”，“sequence”：“additional”，“affiliation”：[{“name”：“中国科学院信息工程研究所”}]}，{“given”：“Mingjie”，“faily”：”Xu“，”sequence“：”additional：“additional”，“affiliation”：[{“name”：“中国科学院信息工程研究所”}]}，{“given”：“Wei”，“family”：“Hoo”，“sequence”：“addressive”，“feliation”:[{（name）：“China Association of Sciences”}]]，“member”：“263”，“reference”：[}“key”：：“TLS实现的协议状态模糊化”，“author”：“de-ruiter”，“year”：“0”，“journal-title”：“24th USENIX Security Symposium（USENIX-Security 15）”}，{“key”：“ref38”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICST.2017.32”}“，”首页“：”2523“，“文章标题”：“使用协议状态模糊化分析DTLS实现”，“作者”：“fiterau brostean”，“年份”：“0”，“期刊标题”：“第29届USENIX安全研讨会（USENIX Security 20）”}，{“密钥”：“ref31”，“年份”：“2020”，“期刊标题”：“赋予黑盒测试”}，{“密钥”：“ref30”，“年份”：“2020”，“期刊标题”：“boofuzz Network Protocol Fuzzing for Humans”｝，｛“key”：“ref37”，“doi asserted by”：“publisher”，“doi”：“10.1109\/EuroSPW.2018.00009”｝，｛“key”：“ref36”，“首页”：“193”，“文章标题”：“TLS实现的协议状态模糊化”，“作者”：“de ruiter”，“年份”：“2015”，“期刊标题”：“第24届USENIX安全研讨会（USENIX Security 15）”｝，｛“key”：“ref35”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/SP.2017.46”}0016“}，{”key“：”ref11“，”doi-asserted-by“：”publisher“，”doi“：“10.17487\/rfc6608”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.17.487\/rcc4486”}、{“key”：”ref13“，”year“：”2021“，”journal-title“：”The BIRD Internet Routing Daemon“}，”{“key”：“ref14”，“year”：“2021”，“journal-title”：“openbsd项目生成一个免费的多平台4bsd基于unix-like的操作系统”}“：”ref15“，”年份“：”2021“，“journal-title”：“The FRRouting Protocol Suite”}，{“key”：“ref16”，“author”：“savage”，“year”：“2016”，“johnal-title:“Cisco增强内部网关路由协议（EIGRP）”}，{“key”：“ref19”，“doi-asserted-by”：“publisher”，“DOI”：“10.17487\/rfc2131”}，{“key”：“ref28”，“first-page”：“4205”，“article-title”：“Mpinspector:评估物联网消息传递协议安全性的系统和自动方法”，“author”：“wang”，“year”：“0”，“journal-title“：“30th USENIX security Symposium（USENIX-security 21）”}：“Tcp-fuzz:使用模糊检测Tcp堆栈中的内存和语义错误”，“author”：“zou”，“year”：“0”，“journal-title”：“2021 USENIX年度技术会议（USENIX-ATC 21）”}，{“key”：“ref27”，“doi-asserted-by”：“publisher”，”doi“：“10.14722\/ndss.2021.24365”}，{“键”：“参考6”，“doi断言者”：“publisher”，“doi”：“10.17487\/rfc2132”｝，｛“key”：“ref29”，“year”：“2020”，“期刊标题”：“Peach Fuzzer”｝，｛“key”：“ref5”，“year”：“2021”，“期刊标题”：“常见漏洞和暴露”｝，｛“key”：“ref8”，“year”：“2009”，“期刊标题”：“Python自然语言处理”｝，｛“key”：“ref7”，“author”：“aho”，“year”：“2006“，”期刊标题“：“编译器原理、技术和工具”}，{“key”：“ref2”，“首页”：“1665”，“卷”：“19”，“作者”：“tan”，“年份”：“2014”，“日志标题”：“开源软件中的错误特征”}，{“键”：“ref20”，“年份”：“2021”，“日志标题”：“互联网系统联盟（isc）dhcp”}，{“key”：“ref22”，“year”：“2020”，“journal-title”：“Dhcpcd”}“：”ssh实现的模型学习和模型检查“}，{”key“：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TSE.2014.2323977”}，{“key”：“ref41”，“doi-assertd-by”：“publisher”，“DI:”10.1145\/3460319.3469077“}，}“key:”ref23“，”doi-assert-by“：”publisher“，”doi“：”10.17487\/RFC7606 doi“：”10.1145\/3452296.3472910“}，{“key”：“ref43”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3-319-41540-6_25”}，{“key”：“ref25”，“DOI-asserted-by”：“publisher”，“DOI:”10.1109\/DSN.2017.36“}]，“event”：{“name”：“2022 IEEE软件分析、进化和再工程国际会议（SANER）”，“location”：“Honolululu，HI，USA”，“start”：{date-parts”：[2022,3,15]}，“end”：{data-parts“：[2022,3]]}3,18]]}}，“集装箱标签”：[“2022 IEEE软件分析、进化和再工程国际会议（SANER）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/9825713\/9825693\/09825875.pdf？arnumber=9825875”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”用法：[2022,8,8]]，“日期时间”：“2022-08-08T19:59:04Z”，“时间戳”：1659988744000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/ieeexplore.ieee.org\/document\/9825875\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2022,3]]}”，“references-count”：“43，”URL“http:\”\\/dx.doi.org\/10.109\/saner53432.2022.00081“，”关系“：{}，”主题“：[]，“已发布”：{“日期部分”：[[2022,3]]}}