{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,6,14]]，“日期-时间”：“2024-06-14T07:11:55Z”，“时间戳”：1718349115200}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：45，“发布商”：“ACM”，“内容-域”：{:“域”：[“dl.ACM.org”]，“交叉标记限制“：true}，”short-container-title“：[]，“published-print”：{“date-parts”：[[2014,1,8]]}，“DOI”：“10.1145\/2535838.2535847”，“type”：“procedings-article”，“created”：{“date-parts”：[2014,1,14]]，“date-time”：“2014-01-14T13:40:06Z”，“timestamp”：1389706806000}，”update-policy“：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：“Crossref”，“is-referenced-by-count”：54，“title”：[“加密实现的概率关系验证”]，“前缀”：“10.1145”，“作者”：[{“给定”：“Gilles”，“家族”：“Barthe”，“sequence”：“first”，“affiliation”：[}“name”：“西班牙马德里IMDEA软件研究所”}]}：“Microsoft Research，Cambridge，United Kingdom”}]}，{“given”：“Benjamin”，“family”：“Gr\u00e9goire”，“sequence”：“additional”，“affiliation”：[{“name”：“Inria Sophia Antipolis-M\u00e 9ditdera\u00e_9e，Sophia Antipolis，France”}]{“given”:“Pierre-Yves”，”family“：”Strub“，”sequence“：”additional“，”：“affidiation”：“[{”name“：“西班牙马德里IMDEA软件研究所”}]}，{“given”：“Nikhil”，“family”：“Swamy”，“sequence”：“additional”，“affiliation”：[{“name”：“Microsoft Research，Seattle，WA，USA”}]neneneep，{”given“：”Santiago“，”family“：”Zanella-B\u00e9guelin“，”sequence“：”additional“，”affiliation:[{”name“：“Microsoft Research，Cambridge，United Kingdom”}]]，“member”：“320”，“published-online”：{“date-parts”：[[2014,1,8]]}，“reference”：[{“key”：“e_1_3_2_2_1_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/j.tcs.2003.12.023“}，{“密钥”：“e_1_3_2_1”ted-by“：”publisher“，”doi“：”10.1145\/2508859.2516652“}，{”key“：”e_1_3_2_2_4_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/504709.504712”}，{“key”：“e_1_3_2_2_5_1”，”doi-assert-by“：”publisher“，”doi“：”10.1109\/CSF.2010.15“}，”key“：”e_1_ 3_2_6_1“，“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1480881.1480894“}，{”key“：”e_1_3_2_8_1“，“doi-asserted-by”：“publisher”，“doi”：“10.5555\/2033036.203043”}，{“key”：“e_1_3_2_2_9_1”，”doi-assert-by“：”publisher“，”doi“：”10.5555\/1964621.1964640“}，”{“密钥”：“e_1_3_2_10_1”、“doi-sserted-by“”：“publisher”，“doi”：“10.1145\/2103656.2103670”}，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/964001.964003”}，{“key”：“e_1_3_2_12_1”，“doi断言者”：“publisher”，“doi”：“10.1145\/1706299.1706350”}，{“key”：“e_1_3_2_13_1”，“doi断言者”：“publisher”，“doi”：“10.1109\/SP.2013.37”}，{“key”：“e_1_3_2_14_1”，“doi断言者”：“publisher”，“doi”：“10.1007\/978-3-642-28641-4_2”}，{“key”：“e_1_3_2_15_1”，“doi断言者”：“publisher”，“doi”：“10.5555\/197211.1987216”｝，｛“键”：“e_1_3_2_2_16_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/ARES.2012.63“}，{“key”：“e_ 1_3_2 _2_17_1”、“doi-sserted-by“：”publisher“，“doi”：“10.1016\/j.tcs.2007.0240”}，“key“：”e_1_ 3_2_18_1“：”e_1_3_2_2_19_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-14577-3_5”}，{“key”：“e_1_3_2_20_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/1891823.1891830“}，{“密钥”：“e_1_3_2_21_1”，”doi-assert-by“：”publisher“，“doi”：“10.5555\/1792734.1792766”}，“key“：”e_1_ 3_2_2_22_1“，”doi asserted-by“：“publister”，“doi:”10.1109\/CSF.2011.8“}”，{“key”：“e_1_3_2_23_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1016\/0022-0000（84）90065-5“}，{“key”：“e_1_3_2_24_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145 \/2046707.2046746“}，{”key“：”e_1_ 3_2_2_25_1“，”首页“：”11“，”volume-title“：”S&P“，”author“：”Goguen J.A.“，”year“：”1982“，”unstructured“：”J.A.Goguen and J.Meseguer.Security policies and Security models.In S&P 1982，pages 11-20。IEEE Computer Society，1982。J.A.Goguen和J.Meseguer。安全策略和安全模型。1982年标准普尔，第11-20页。IEEE Computer Society，1982年。“}，{”key“：”e_1_3_2_27_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.tcs.2005.08.005”}，“key”：“e_1_ 3_2_2_28_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/B978-044482830-9 \/50029-1“}”，{“key“”：”e_ 1_3_2 _29_1“”，“”doi-sserted-by“，”doi“：”10.1007\/978-3642-03034-5_17“}，{“键”：“e_1_3_2_2_30_1”，“doi-asserted-by“：”publisher“，”doi“：”10.1016\/0022-0000（85）90012-1“}，{“key”：“e_1_3_2_31_1”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/CSF.2012.9”}，“key“：”e_1_ 3_2_32_1“，”首页“21”，“volume-title”：“IFIP Congress”，“author”：“McCarthy J.”，年：“1962”，“unstructured”：“J.”。麦卡锡。走向计算的数学科学。在IFIP大会上，第21-28页，1962年。J.麦卡锡。走向计算的数学科学。在IFIP大会上，1962年第21-28页。“}，{“key”：“e_1_3_2_33_1”，“volume-title”：“概率系统的抽象、精炼和证明。计算机科学专著”，“author”：“McIver A.”，“year”：“2005”，“unstructured”：“A.McIver and C。摩根。概率系统的抽象、精化和证明。计算机科学专著。斯普林格，2005年。A.McIver和C.Morgan。概率系统的抽象、精化和证明。计算机科学专著。Springer，2005.“}，{”key“：”e_1_3_2_2_34_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1411204.1411237”}，“key”：“e_1_ 3_2_35_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1040305.10420“}”，{“key“”：“e_1_3_2_36_1”、“series-title”：“计算机科学讲义”，“第一页”：“129”，卷me-title“：”CRYPTO'91“，”author“：”Pedersen T.P.“，”year“：”1991年，“非结构化”：“T.P.Pedersen。非交互式和信息论安全可验证的秘密共享。91年，《计算机科学讲义》第576卷《密码》，第129-140页。施普林格，1991年。T.P.佩德森。非交互式和信息理论安全的可验证秘密共享。《密码》91年，《计算机科学讲义》第576卷，第129-140页。Springer，1991年。“}，{”key“：”e_1_3_2_2_37_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/503272.503288”}，“key”：“e_1_ 3_2_38_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/80014104647“}”，{重用B.”，“年份”：“2012年”，“非结构化”：“B.重用和N。查尔顿。高阶存储程序逻辑指南，2012年。未发表的手稿。B.罗伊斯和N.查尔顿。高阶存储程序逻辑指南，2012年。未发表的手稿。“}，{”key“：”e_1_3_2_2_40_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2046556.2046564”}，“key”：“e_1_ 3_2_41_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/JSAC.2002.806121“}”，{“}，{”key“：”e_1_3_2_2_43_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2103656.2103723“}，{“key”：“e_1_3_2_2_44_1”，“doi-asserted-by”：“publisher”，”doi“：“10.5555\/2021953.2021972”}，“key“：”e_1_ 3_2_45_1“，”doi-assert-by“：”publisher“，\/2491956.2491978“}]，”事件“：{”名称“：”POPL’14：第41届ACM SIGPLAN-SIGACT编程语言原理年会”，“地点”：“美国加州圣地亚哥”，“缩写词”：“POPL‘14”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”，“SIGACT ACM算法和计算理论特别兴趣小组“]}，“容器-时间”：[”第41届ACM SIGPLAN-IGACT编程语言原理研讨会论文集“]，“原标题”：[]，“链接”：[｛“URL”：“https:\/\/dl.ACM.org/doi\/pdf\/10.1145\/25358382535847”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2023,9,4]]，“日期时间”：“2023-09-04T17:44:42Z“，”timestamp“：1693849482000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2535838.2535847”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2014,1,8]]}，《references-count》：45，“alternative-id”：[“10.1145\/253535838.25.35847“，”10.1145 145\/2535838“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/2535838.2535847“，”关系“：{”is-idential-to“：[{”id-type“：”doi“，”id“：”10.1145\/2578855.2535847“，”asserted-by“：”object“}]}，”subject“：[]，”published“：”{“date-parts”：[[2014,1,8]]}、”assertion“：[}”value“：”2014-01-08“，”order“：2，“name”：“published”，“label”“：”“published”“，”group“：{”name“：”publication_history“，”label“：”出版历史“}}]}}