{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,9,7]]，“日期-时间”：“2024-09-07T21:57:48Z”，“时间戳”：1725746268721}，“引用-计数”：37，“发布者”：“IEEE”，“许可证”：[{“开始”：{:“日期-部分”：[2021,6,21]]，”日期-时间“：“2021-06-21T00:00Z”，“timestamp”：1624233600000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[[2021,6,21]]，“date-time”：“2021-06-21T00:00Z”，“timestamp”：1624233600000}，“content-version”：“stm-asf”，“dellay-in-days”：0：[{“doi”：“10.13039\/5010000266”，“名称”：“UK Engineering and Physical Sciences Research Council”，“doi-asserted-by”：“publisher”，“award”：[“EP\/R04144X\/1”]，“id”：[{“id”:“10.13039\/5010000266”，“id-type”：“doi”，“asserted-dby”：“publisher”}]]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-contain-title”：[]，”published-print“：{”date-parts“：[202”1,6,21]]}，“doi”：“10.23919\/ifipnetworking52078.2021.9472829”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,9]]，“date-time”：“2021-07-09T16:09:00Z”，“timestamp”：1625846940000}，“page”：”1-9“，“source”：：“24”，“作者”：[{“given”：“Stephen”，“family”：“McQuistin”，“sequence”：“first”，“affiliation”：[}“name”：“University of Glasgow，UK”}]}，{“given”:“Vivian”，“家庭”：“Band”，“serquence”:“additional”，“filiation“：[{name”：”University ofGlasgov，UK“}]}]，{”given“：”Dejice“，”family“：”Jacob“，”sequence“：”additional“，”affiliance“:[{”name“：“英国格拉斯哥大学”}]}，{“given”：“Colin”，“family”：“Perkins”，“sequence”：“additional”，“affiliation”：[{“name”：“University of Glasgow，UK”}]}]，“member”：“263”，“reference”：[}“journal-title”：“Nom a byte oriented streaming zero-copy parser combinator library in rust”，“first page”：“出版商”，“DOI”：“10.1109\/SPW.2017.39”}，{“journal-title”：“IEEE安全与隐私第一次LangSec研讨会”，“article-title“：“小心你的语言”，“年份”：“0”，“作者”：“jaeger”，“key”：“ref31”}、{“日记标题”：“互联网工程任务组”，“article-title”：“用扩充的数据包头图描述QUIC的协议数据单元”，“年”：“2021”，“author”：“mcquistin”，“key”：“ref30”}，{“key“：“ref37”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/JSYST.2012.2222000”}“：”ref34“，”首页“：”615“，”文章标题“：“Nail：解析和生成数据格式的实用工具”，“author”：“bangert”，“year”：“0”，“journal-title”：“第十一届USENIX操作系统设计与实现研讨会（OSDI 14）”}，{“journal-title“：“软件抽象逻辑语言与分析”，“年”：“2011”，“作者”：“jackson”，“key”：“ref10”}：“publisher”，“DOI”：“10.1145\/2699417”}，{“key”：“ref12”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1145\/1080091.1080094“}，}“journal-title”：“网络热点专题研讨会论文集”，“article-title“：“正式验证的网络”，“year”：“2009”，“author”：“wang”，“key“：”ref13“}”，{”key“:”ref14“，”DOI-assert-by“：”publisher“，”DO我“：“10.1145\/3230543.3230582”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.145\/1065010.1065046”}、{“密钥”：“ref16”，“doi-asserte-by”：“publisher”，“DI:”10.1007\/3-540-45821-2_4“：”ref18“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1272996.1273009“}，{”年份“：“0”，“author”：“bjorklund”，“key”：“ref19”}，｛“journal title”：“Internet Engineering Task Force”，“article title”：“Described TCP with Augmented Packet Header Diagrams”，“year”：“2021”，“author”：“mcquistin”，“key”：“ref28”｝，｛“key”：“ref4”，“doi asserted by”：“publisher”，“doi”：“10.1109\/SecDev.2016.019”｝，｛“journal title”：“递归编程技术”，“year”：“1975”，“author”：“burge”，“key”：“ref27”}，{“journal-title”：“Internet工程任务组”，“article-title“：“传输控制协议（TCP）规范”，“年份”：“2021”，“作者”：“eddi”，“密钥”：“ref3”}：“ref6”}，{“journal-title”：“Internet Engineering Task Force”，“article-title（文章标题）”：“用增强包头图描述UDP”，“year”：“2021”，“author”：“mcquistin”，“key”：“ref29”}、{“year（年份）：“0”、“author:”rescorla“，”key“：”ref5“539”、“article-title”：“A cloudy crystal ball-visions of the future”，“volume”：“24”，“author”：“clark”，“year”：“1992”，“journal-title”：“Proceedings of the Internet Engineering Task Force”}，{“key”：”ref2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/340688.3406671“}，”{“journal-title“：”Specifying Systems the TLA+Language and Tools for Hardware and Software Engineers“，”year“：“2002”，“author”：“lamport”，“key”：“ref9”}，{“key“：”ref1“，”first page“：“4”，“article-title”：“The bug we have to kill”，“volume”：”40“，”author“：”bratus“，”year“：”2015“，”journal-title“：”login：“类型和推理助理的人性方面研讨会论文集”，“article-title”：“使正式方法正常化：与开发者见面”，“年份”：“2020年”，“作者”：“reid”，“key”：“ref22”}，{“密钥”：“ref21”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.comnet.2005.029”}，{“年份”：“0”，“作者”：“croker”，“key”：“ref23”}，{“key“：“ref26”，“首页”：“22”，“文章标题”：“网络堆栈不安全的停止问题”，“卷”：“36”，“作家”：“sassaman”，“年”：“2011”，“新闻标题”：”USENIX登录“}，“新闻头衔”：“互联网工程任务组”，“论文标题”：“使用增强包头图描述协议数据单元”，“年份”：“2021”，“作者”：“mcquistin”，“key”：“ref25”}]，“event”：{“name”：“2020年IFIP网络会议（IFIP Networking）”，“start”：{“date-parts”：[2021,6,21]]}，“location”：“Espoo and Helsinki，Finland”，“end”:{“date-ports”：[2021,6,24]}}，”container-title“：[“2021 IFIP网络会议（IFIP网络）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/9472750\/9472195\/094722829.pdf？arnumber=9472829”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,8,2]，“date-ports”时间”：“2022-08-02T19:39:06Z”，“timestamp”：1659469146000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieexplore.iee.org\/document\/9472829\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2021,6,21]]}，'references-count“：37，”URL“http://\/dx.doi.org\/10.10.23919\/ifipnetworking52078.2021.9472829“，”关系“：{}，”主题“：[]，”发布“：{“日期部分”：[[2021,6,21]]}}