{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,3,5]]，“日期-时间”：“2024-03-05T20:03:18Z”，“时间戳”：1709668998653}，“引用-计数”：15，“发布者”：“开放发布协会”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[“Electron.Proc.Theor.Compute.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.370.11”，“type”：“journal-article”，“created”：{“date-parts”：[2022,9,19]]，“date-time”：“2022-09-19T20:26:27Z”，“timestamp”：1663619187000}，“page”：”162-177“source”：攻击树和相关问题“]，“prefix”：“10.4204”，“volume”：“370”，“author”：[{“给定”：“托马斯”，“家族”：“布里海耶”，“sequence”：“第一”，“从属关系”：[}“名称”：“蒙斯大学”}]}，{“给出”：“苏菲”，“家庭”：“品奇纳”，“序列”：“附加”，“附属关系”：[{“name”：“University\u00e9 de Rennes，IRISA”}]{efenko“，”sequence“：”additional“，”affiliation“用法：[{“name”：“University\u00e9 de Rennes，IRISA，University of Mons”}]}]，“member”：“2720”，“published-online”：{“date-parts”：[[2022,9,20]]}，“reference”：“[{”key“：”audinot2017my“，”doi-asserted-by“：”publisher“，“first page”：“83”，“doi”：“10.1007\/978-319-66402-6_7”，“article-title”：“我的攻击树正确吗？”，“volume me-title“：“欧洲计算机安全研究研讨会”，“author”：“Audinot”，“year”：“2017”}，{“key”：“chandra1976alternation”，“doi-asserted-by”：“publisher”，《first page》：“98”，“doi”：“10.1109\/SFCS.1976.4”，“article-title”：“alternational”，“volume-title“：“第十七届计算机科学基础年会（SFCS 1976）”，{“issue”：“3”，“key”：“de2007concurrent”，“doi-asserted-by”：“publisher”，“first page”：”188“，“doi”：“10.1016\/j.tcs.2007.07.008”，“article-title”：“Concurrent reachability games”，”volume“：”386“，”author“：”De Alfaro“，”year“2007”，”journal-title“：”Theory computer science“}，{”key“：“horn2017语义”，”doi-assert-by“：”publisher“first page”：“57”，“doi”：“10.3233\/FI-2017-1531”，“article-title”：“基于线性逻辑专门化攻击树的语义”，“volume”：“153”，“author”：“Horne”，“year”：“2017”，“journal-title“：”Fundamental Informaticae“}，{“key”：”jhawar2015attack“，”doi-asserted-by“：”publisher“，”first page“：”339“，”doi“：”10.1007\/978-3-198467-8_23“，”article-title“：“带顺序连接的攻击树”，“volume-title”：“IFIP国际信息安全与隐私大会”，“author”：“Jhawar”，“year”：“2015”}，{“key”：“jurgenson2008computing”，“doi-asserted-by”：“publisher”，”first page“：”1036“，”doi“：”10.1007\/978-3-540-88873-4_8“，”article-title“计算多参数攻击树的精确结果”，“volume-title”：“OTM Confederated International Conferences”：“On the Move to Meaningful Internet Systems”，“author”：“J\u00fcrgenson”，“year”：“2008”}，{“key”：“kordy2010foundations”，《doi-asserted-by》：“publisher”，“first page”：”：“80”，“doi”：“10.1007\/978-3642-19751-2_6”，“article-title）：“攻击\u2013defense树的基础”，“volume-title”：“安全与信任的形式方面国际研讨会”，“author”：“Kordy”，“year”：“2010”}，{“issue”：“1”，“key”：“kordy2014attack”，“doi-asserted-by”：“publisher”，“first-page”：“55”，“doi”：“10.1093”，“logcom”，“exs029”，“article-title”：“Attack\u2013defense trees”，“volume”：：“逻辑与计算杂志”}，{“key”：“mauw2005foundations”，“doi-asserted-by”：“publisher”，“first-page”：“186”，”doi“：“10.1007\/11734727_17”，“article-title”：“攻击树的基础”，“volume-title“：“信息安全与密码学国际会议”，“author”：“Mauw”，“year”：“2005”}、{“key”：”paul2015automata“，”doi-assert-by“：“publisher”，“first page”：“174”，“DOI”：“10.1007\/978-3-662-48540-8_6”，“文章标题”：“广泛形式游戏中的自动机和合成策略”，“卷标题”：“战略推理模型”，“作者”：“Paul”，“year”：“2015”}，{“key”：“pinchinat2019attack”，“DOI asserted by”：“publisher”，“first page”：“23”，“DOI”：“10.1007\/978-3-030-36537-0_3”，“article-title”：“攻击树：丢失攻击的概念”，“卷-时间”：“安全图形模型国际研讨会”，“作者”：“Pinchinat”，“年份”：“2019”}，{“key”：“pinchinat2020库”，“doi-asserted-by”：“publisher”，“首页”：“24”，“doi”：“10.1007\/978-3030-62230-5_2”，“volume-title”：“安全图形模型国际研讨会”，“author”：“Pinchinat”，“year”：“2020”}，{“key”：“saffidine2019packed”，“article-title“：“Packed Interval Covering Problem is NP-complete”，“author”:“Saffidine”，“年份”：“2019”，“日记标题”：“arXiv预印本arXiv:1906.03676”}，“doi-asserted-by”：“publisher”，“first page”：“21”，“doi”：“10.1002\/9781119183631.ch21”，《article-title》：“攻击树”，“卷”：“24”，“作者”：“Schneier”，“年份”：“1999”，“新闻标题”：“Dr.Dobb\u2019s journal”}，{“问题”：“4”，“密钥”：“widel2019beyond”，“doi-asserted-by”：“：”10.1145\/3331524“，”文章标题“：“Beyond 2014:Formal Methods for Attack Tree \u2013-based Security Modeling”，“volume”：“52”，“author”：“Wide\u0142”，“year”：“2019”，“journal-title”：“ACM Computing Surveys（CSUR）”}]，“container-title“：[“Electronic Proceedings in Theory Computer Science”]，“original-title:[]，“language”：“en”，“deposed”：{“date-parts”：[2022,9,24]]，“date-time”：“2022-09-24T16:31:59Z”，“timestamp”：1664037119000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/arxiv.org\/abs\/2209.10322v1”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2022,9,20]]}，'references-count“：15，”URL“：”http://\/dx.doi.org\/10.4204\/eptcs.370.11“，”关系“：{}，”ISSN“：[”2075-2180“]，”ISSN-type“：[{”value“：”2075~2180“，”type“：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2022,9,20]]}}}