{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[[2024,9,6]],“日期时间”:“2024-09-06T00:25:02Z”,“时间戳”:1725582302504},“出版商位置”:“柏林,海德堡”,“参考计数”:0,“出版者”:“施普林格-柏林-海德堡“,”isbn-type“:[{”类型“:“打印”,“值”:“979 83642209192“},{”类型“:”电子“,“value”:“9783642209208”}],“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”}]iner-title“:[],”published-print“:{”date-parts“:[2011]]},“DOI”:“10.1007\/978-3-642-20920-8_3”,“type”:“book-chapter”,“created”:{“date-parts”:[[2011,4,28]],“date-time”:“2011-04-28T08:54:38Z”,“timestamp”:1303980878000},”page“:”3-3“,”source“:“Crossref”,”is-referenced-by-count“:0,”title“:[”密码协议精确边界的符号逻辑“],”前缀“10.1”007“,”作者“:[{”给定“:“John C.”,“family”:“Mitchell”,“sequence”:“first”,“affiliation”:[]}],“member”:“297”,“container-title”:[“计算机科学讲义”,“逻辑、语言、信息和计算”],“original-title“:[],“link”:[{“URL”:“http://\/link.springer.com\/content\/pdf\/10007\/978-3642-20920-83_3”,”内容类型“unspecified”,“content-version”:“vor”,“意向应用程序”:“相似性检查”}],“存放”:{“日期部分”:[[2017,9,1]],“日期时间”:“2017-09-01T13:11:24Z”,“时间戳”:1504271484000},“分数”:1,“资源”:{primary:{(URL):“http://\link.sprimary.com\/10007\/978-3-642-20920-833”}},”副标题“:[],”短标题“:[],”已发布“:{”日期部分“:[2011]]},“ISBN”:[“9783642209192”,“9783642209208”],“references-count”:0,“URL”:“http://\/dx.doi.org\/10.1007\/978-3-642-20920-8_3”,“关系”:{},“ISSN”:[“0302-9743”,“1611-3349”],”ISSN-type“:[{”type“:”print“,”value“:”0302-974 3“},{”类型“:”electronic“,”value“:“1611-349”}],“subject”:[],“published”:{“date”parts“:[2011]]}}}