{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,6,28]]，“日期时间”：“2024-06-28T05:09:30Z”，“时间戳”：1719551370005}，“引用计数”：17，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2008,11]]}，“DOI”：“10.1109\/fmcad.2008.ecp.12”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2008,12,1]]，“date-time”：“2008-12-01T21:36:21Z”，“timestamp”：1228167381000}，“source”：”Crossref“，”is-referenced-by-count“：6，“title”：[“高级加密标准硬件支持的正式验证”]，“prefix”：“101109”，”author“：[{”given“给定”：“Anna”，“family”：“Slobodova”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“17”，“year”：“0”}，{“密钥”：“15”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/TCAD.2007.895755“13”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1314436.1314442”}，{“key”：“14”，“首页”：“465”，“文章标题”：“面向伽罗瓦域gf（2m）上算术算法的有效验证”，“卷”：“2102”，“作者”：“森冈”，“年份”：“2001”，“期刊标题”：”LNCS“}，{“key”：“11”，“doi-asserted-by”：“publisher”，“doi”：“10.1007 \/s10009-002-0081-6”}，}“密钥”：“12”，“论文标题”：：“pentium（r）的形式验证4浮点乘法器“，”author“：”kaivola“，”year“：”0“，”journal-title“：”2002年欧洲设计自动化与测试会议（DATE）“}，{”key“：”3“，”作者“：”gueron“，”年“：”零“，”日记标题“：”高级加密标准“}、{”密钥“：”2“，”年份“：”“，”首页“：”338“，”article-title“：”通过模型检查和定理证明验证分频器电路。tphol 2000，（springer）“，”author“：”kaivola“，”year“：”1869“，”journal-title“：”LNCS“}，{“key”：“7”，“year”：“0”}，，{”key“：”6“，”first page“：0“}，{“key”：“4”，“year”：“0”}，}“keys”：“9”，“doi-asserted-by”：“publisher“，”DOI“：”10.1007\/978-3662-03809-3“}，{“key”：“8”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1017\/S0956796805005757”}]，“event”：{“name”：“2008计算机辅助设计（FMCAD）中的形式方法”，“location”：“Portland，OR，USA”，“start”：{“date-parts”：[2008,17]}，“end”]]}}，“集装箱标签”：[“2008计算机辅助设计的形式方法“]，”original-title“：[]，”link“：[{”URL“：”http://\/xplorestaging.ieee.org\/ielx5\/46891158\/04689159\/046889171.pdf？arnumber=4689171“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：”{“date-parts”：[2017,3,17]]，“date-time”：“”2017-03-17T18:24:37Z“，”timestamp“：1489775077000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/ieeexplore.iee.org\/document\/4689171\/“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2008,11]]}，《references-count》：17，“URL”：“http://\/dx.doi.org\/10.109\/fmcad.2008.ecp.12”，“relation”“：{}，”主题“：[]，”发布“：{”日期部分“：[[2008,11]]}}}