{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,1,30]]，“日期时间”：“2024-01-30T06:00:28Z”，“时间戳”：170659442884}，“引用-计数”：35，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记-限制”：false}，”短容器-时间“：[]”，“发布-打印”：{“日期部分”：[[2012,6]]}，“DOI”：“10.1109\/csf.2012.9”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2012,8,17]]，“date-time”：“2012-08-17T15:49:12Z”，“timestamp”：1345218552000}，“source”：《Crossref》，“is-referenced-by-count”：24，“title”：[“类Java程序的加密验证框架”]，“prefix”：“101109”，“author”：[{“给定”：“Ralf”，”“家族”：“库斯特”、“sequence”：“first”，“affiliation”：[]}，{“given”：“Tomasz”，“family”：“Truderung”，“sequences”：“additional”，“filiation“：[]{”given“：”Jurgen“，”family“：”Graf“，”sequence“：”additional“，”affiliance“：[]}]，“member”：“263”，“reference”：[{“key”：”19“，”doi-asserted-by“：“publisher”，“doi”：“10.1007\/s1027-009-0086-1“}，{”key“：”35“，”doi-asserted-by“：”publisher“，”doi“：“10.1145\/1554339.1554345”}，{“key”：“17”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/SP.1982.10014”}：“验证模型检查和抽象解释2005年第六届VMCAI国际会议”}，{“key”：“33”，“author”：“wasserrab”，“year”：“2010”，“journal-title”：“From Formal Semantics to Verified Slicing-A Modular Framework with Applications in Language Based Security”}，{“key”：“34”，“article-title”：“通过重用机器检查的切片正确性证明证明信息流不受干扰”，“author”：“wasserrab”，“year”：“2010”，“journal-title“：“VERIFY-2010第六届国际验证研讨会论文集”}，{”key“：”16“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/SP.1984.10019“}，”{“密钥”：“13”，“first page”：“29”，“article-title”：“如何证明通信协议的安全性？关于计算模型形式化模型稳健性的讨论”，“author”：“hubert”，“year”：“2011”，“journal title”：《第28届计算机科学理论方面国际研讨会论文集》（STACS 2011）LIPIcs第9卷}，{“key”：《14》，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2046707.2046746”}，{“key”：“11”，“doi-asserted-by”：”publisher“，”doi“：”10.1109\/CSF.2009.20“}，”{“密钥”：“12”，“首页”：“50”，“article-title”：“不干涉确定性交互程序”，“author”：“clark”，”year“：”2008“，”journal-title“：”Proc Int'l Workshop Formal Aspects in Security and Trust“}、，{“key”：“21”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ASE.2006.60”}，{“密钥”：“20”，“doi-assertd-by”：“publisher”，“DI:”10.1007\/s00145-012-9127-4“doi”：“10.1109\/CSFW.2006.30”}，{“key”：“24”，“doi-asserted-by”：“publisher”，“doi“：“10.1109\/CSF.2012.9”}，{“key”：“25”，“doi-asserted-by”：“publisher”，“doi”：“10.109\/CFS.2008.18”}：“编程语言与系统第十届欧洲编程研讨会ESOP 2001年第2028卷计算机科学讲稿”}，{“key”：“27”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/292540.292561”}、{“key”：”28“，“author”：“myers”，“year”：“2001”，“journal-title”：“Jif Java Information Flow（Software Release）”}：“publisher”，“DOI”：“10.1109\/CSFW.2006.16”}，{“key”：“3”，“first-page”：“105”，“article-title”：“重写逻辑中全局不干涉的抽象证明”，“author”：“mauricio”，“year”：“2009”，“journal-title“：“组件和对象的形式方法——第八届国际研讨会（FMCO 2009）修订论文选集《计算机科学讲义》第6286卷，{“key”：“2”，“doi断言者”：“出版者”，“doi”：“10.1145\/2046707.2046745”}，{“key”：“10”，“文章标题”：“普遍可组合安全：密码协议的新范式”，“作者”：“canetti”，“年份”：“2005”，“期刊标题”：“技术报告Cryptology ePrint Archive“}，{“key”：“1”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10270-004-0058-x”}，}“密钥”：“30”，“文章标题”：“使用elyjah分析加密协议的java实现”，“作者”：“o'shea”，“年份”：“2008”，“日志标题”：用于安全协议分析和安全理论问题的计算机安全自动推理基础联合研讨会（FCS-ARSPA-WITS-2008）publisher“，”DOI“：”10.1109\/JSAC.2002.806121“}，{“key”：“5”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1145\/1866307.1866351”}，“key“：”31“，”DOI-assert-by“：”publisher 103“}，{“key”：“9”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1109\/SP.2006.1”}，}“key“：”8“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1706299.1706350“}]，”event“：original-title“：[]，”link“：[{”URL“：”http://\/xplorestaging.ieee.org\/ielx5\/6265867\/6266147\/06266161.pdf？arnumber=6266161“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2017,3,21]]，”date-time“：“2017-03-21T20:27Z”，”timestamp“：1490128047000}，“分数”：1，“资源”：{“primary“：{”URL“：”http://\/ieeexplore.iee.org\/document\/6266161\/“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts“：[[2012,6]]}，“references-count”：35，“URL”：“http://\/dx.doi.org\/10.109\/csf.2012.9”，“relation”：{}，《subject》：[]、“published”：{date-parts“:[2012,6]]}}