{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T07:03:38Z”，“时间戳”：1725606218751}，“出版商位置”：“柏林，海德堡”，“参考计数”：18，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783838 642231773“}，{”类型“：“electronic”，“value”：“9783642231780”}]，“license”：[{“start”：{“date-parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：129384000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-23178-0_43”，“type”：“book-chapter”，“created”：{（日期-部件）：[[2011，9，10]]，“date-time”：“2011-09-10T07:15:58Z”，“timestamp”：1315638958000}，”page“：”473-483“，”source“Crossref”，“is-referenced-by-count”：12，“title”：[“Generator A5的并行逻辑加密分析”/1在BNB-电网系统“]，”前缀“：“10.1007”，“作者”：[{“given”：“Alexander”，”family“：”Semenov“，”sequence“：”first“，”affiliation“：[]}，{“给定”：“Oleg”，“family”：“Zaikin”，，“sequence”：“additional”，“affiliance”：[]neneneep，{”given“：”Dmitry“，”faily“：“Bespalov”，“segment”：“附加的”，“从属关系”：[]}，“给定的”：“米哈伊尔”，“家庭”：“Posypkin”、“sequence:”“附加”，“从属关系”：[]}]，“成员”：“297”，“reference”：[{“key”：“43_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Cook，S.A.，Mitchel，D.G.：发现可满足性问题的困难实例：调查。In:DIMACS Series In Discrete Mathematics and Theory Computer Science，vol.\u00a035，pp.1\u201317（1997）”，“doi”：“10.1090\/DIMACS\/035\/01”}，{“issue”：“1-2”，“key“43_CR2”，“doi-asserted-by”：“publisher”，“first page”：“165”，”doi“：”10.1023\/A:1006326723002“，”volume“：”24“，”author“：”F.Massacci“，”year“：”2000“，”unstructured“：”Massaccy，F.，Marraro，L.：逻辑密码分析作为SAT问题。Journal of Automated Reasoning\u00a024（1-2），165\u2013203（2000）“，”Journal-title“：”Journal for Automated Refasoning“}，{”key“43_CR3”，“非结构化”：“McDonald，C.，Charnes，C.，Pieprzyk，J.：使用Minisat攻击Bivium。技术报告，2007\/040，ECRYPT流密码项目（2007）”}，{“问题”：“6”，“密钥”：“43_CR4”，“首页”：“134”，“卷”：“13”，“作者”：“A.A.Semenov”，“年份”：“2008”，“非结构性”：“Semenov，A.A.，Zaikin，O.S.，Bespalov，D.V.，Ushakov，A.A.：一些流密码系统的SAT密码分析方法。计算技术杂志\u00a013（6），134\u2013150（2008）（俄语）”，“期刊标题”：“计算技术杂志”}，{“key”：“43_CR5”，“series-title”：“计算机科学讲稿”，“doi-asserted-by”：“publisher”，“first page”：“244”，“doi”：“10.1007\/978-3642-02777-2_24”，《volume-title》：“可满足性测试的理论和应用-SAT 2009”，“author”：“M.Soos”，“year”：“2009”，《unstructured》：“Soos，M.，Nohl，K.，Castelluccia，C.：将SAT解算器扩展到加密问题。收录：Kullmann，O.（编辑）SAT 2009。LNCS，第u00a05584卷，第244\u2013257页。Springer，Heidelberg（2009）“}，{“key”：“43_CR6”，“unstructured”：“Afanasiev，A.，Posypkin，M.，Sigal，I.：BNB-Grid项目：解决分布式环境中的大规模优化问题。摘自：21核电子学与计算国际研讨会，Dubna，pp.15\u201319（2008）”}非结构化”：“Tseitin，G.S.：关于命题演算中推导的复杂性。建构数学和数学逻辑研究，第2部分，第115\u2013125页（1968）“，“DOI”：“10.1007\/9781-4899-5327-8_25”}，{“问题”：“11”，“关键”：“43_CR8”，“DOI-asserted-by”：“出版商”，“首页”：“1498”，《DOI》：“10.1109\/TC.2008.80”，“卷”：“57”，“作者”：“T.Guneysu”，“年份”：“2008”，“非结构化”：“Guneysu，T.、Kasper，T.，Novotny，M.、Paar，C.、Rupp，A.：COPACOBANA的密码分析。IEEE计算机学报\u00a057（11），1498\u20131513（2008）“，”期刊标题“：”IEEE计算机事务“}，{“key”：“43_CR9”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”1“，”doi“：”10.1007\/3-540-44706-7_1“，”volume-title“：”快速软件加密“，”作者：“A.Biryukov”，“年份”：“2001”，“非结构化”：“Biryukov，A.，Shamir，A.，Wagner，D.：PC上A5\/1的实时密码分析。In：Schneier，B.（ed.）FSE 2000。LNCS，第u00a01978卷，第1\u201318页。Springer，Heidelberg（2001）“}，{“key”：“43_CR10”，“doi-asserted-by”：“publisher”，“doi”：“10.1201\/9781439821916”，“volume-title”：“应用密码学手册”，“author”：“A.Menezes”，“year”：“1996”，“unstructured”：“Meneze，A.，Van Oorschot，P.，Vanstone，S.：《应用密码术手册》。CRC出版社，Boca Raton（1996）”}，}，“key“：”43_CR11“，”非结构化“：”MiniSat页面，http://www.MiniSat.se“}，{“问题”：“5”，“密钥”：“43_CR12”，“doi-asserted-by”：“出版商”，“首页”：“506”，“doi”：“10.1109”，“卷”：“48”，“作者”：“J.P.Marqeus-Silva”，“年份”：“1999”，“非结构化”：“Marqeus-Silva，J.P.，Sakallah，K.A.：GRASP：命题可满足性的搜索算法。IEEE传输。关于计算机\u00a048（5），506\u2013521（1999）“，”期刊标题“：”IEEE Trans。关于计算机“}，{“key”：“43_CR13”，“unstructured”：“Chebyshev supercomputer，http://\/parallel.ru\/cluster\/skif_msu.html”}，}“issue”：“3”，”key“：”43_CR14“，”doi-asserted-by“：”publisher“，”first page“：“211”，“doi”：“10.1007\/s00450-009-0083-7”，“volument”：“23”，“author”：“Y.Evtushenko”，“year”：“2009”，“非结构化”：“Evtushenko，Y.，Posypkin，M.，Sigal，I.：并行大规模全局优化框架。计算机科学\u2013 Research and Development\u00a023（3），211\u2013215（2009）“，“journal-title”：“Computer Science\u2013研发”}，{“key”：“43_CR15”，“unstructured”：“CIS超级计算机50强，http:\\/www.Supercomputers.ru”}首页”：“239”，“DOI”：“10.1007\/3-540-69053-0_17”，“卷标题”：“密码学进展-EUROCRYPT\u201997”，“作者”：“J.Golic”，“年份”：“1997”，“非结构化”：“Golic，J.：指称A5流密码的密码分析。收录：Fumy，W.（编辑）EUROCRYPT 1997。LNCS，第u00a01233卷，第239\u2013255页。Springer，Heidelberg（1997）“}，{“key”：“43_CR17”，“unstructured”：“BOINC：用于志愿计算和网格计算的开放源代码软件，http://\/BOINC.berkeley.edu//”}，}，“key“：”43_CR18“，”unstructure“：”生成器A5\/1的并行逻辑密码分析，http://\/sat.all24.org“}”，“container-title”：[“计算机科学讲稿”，“并行计算技术“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-23178-0_43“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,6,15]]，”date-time“：“2019-06-15T07:52:46Z”，“timestamp”：1560585166 000}，“score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-23178-0_43”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[2011]]}，“ISBN”：[“9783642231773”，“978364 2231780”]，”references-count“：18，”URL“：”http://\/dx.doi.org\/10007\/978 3-6 42-23178-0_43“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”键入“：”print“，”value“：”0302-9743“}，{“type”：”electronic“，”value“：”1611-3349“}]，“subject”：[]，“published”：{“date-parts”：[[2011]]}}}