{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,6,28]]，“日期-时间”：“2024-06-28T06:01:59Z”，“时间戳”：1719554519422}，“引用-计数”：38，“发布者”：“开放发布协会”，“内容-域”:{“域”：[]，“交叉标记-限制”：false}，”short-container-title“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.392.1”，“type”：“journal-article”，“created”：{“date-parts”：[[2023,10,28]]，“date-time”：“2023-10-28T14:51:06Z”，“timestamp”：1698504666000}，“page”：：[“配置定时参数以确保定时自动机中的执行时间不透明度”]，“prefix”：“10.4204”，“volume”：“392”，“author”：[{“given”：勒福丘“，“sequence”：“additional”，“affiliation”：[{“name”：“University\u00e9 de Lorraine，CNRS，Inria，LORIA，F-54000 Nancy，France”}]}，{“given”：“Didier”，“family”：“Lime”，“se序列”：“附加”，“从属关系”：[[{”名称：“Nantes University\f00e9，\u00c9cole Centrale Nantes，CNRS“lan”，“family”：“Marinho”，“sequence”：“additional”，“affiliation”：[｛“name”：“Universit\u00e9 de Lorraine，CNRS，Inria，LORIA，F-54000 Nancy，France”｝]｝，｛“given”：“Jun”，“family”：“Sun”，“sequence”：“additional”，“affiliation”：[｛“name”：“School of Computing and Information Systems，Singapore Management University，Singapore”｝]，“member”：“2720”，“在线发布”：｛“日期部分”：[[2023,10,31]]}，“参考文献”：[｛“问题”：“2”，“密钥”：“AD94”，“doi断言者”：“出版商”，“第一页”：“183”，“doi”：“10.1016\/00304-3975（94）90010-8”，“文章标题”：“时间自动机理论”，“卷”：“126”，“作者”：“Alur”，“年份”：“1994”，“期刊标题”：“理论计算机科学”}，｛“密钥”：“AFH99”，“doi断言者”：“出版商”，首页”：“253”，“doi”：“10.1016\/S0304-3975（97）00173-4”，“article-title”：“事件块自动机：时间自动机的可确定类”，“volume”：“211”，“author”：“Alur”，”year“：”1999“，”journal-title“：”Theoryal Computer Science“}，{”key“：”AHV93“，”doi-asserted-by“：”publisher“，”first page“：“592”，”doi“：”10.1145\/167088.167242“，”article-title“：“参数化实时推理”，“volume-title”：“STOC”，“author”：“Alure”，“year”：“1993”}，{“key”：“AEYM21”，“doi-asserted-by”：“publisher”，”first page“：”1“，”doi“：”10.1016\/j.jisa.2021.102926“，”article-title“：”定时系统的有界不透明度“，”volume“：“}”，{“问题”：“2”，“密钥”：“Andre19STTT”，“doi-asserted-by”：“出版商”，“首页”：“203”，”doi“：”10.1007\/s10009-017-0467-0“，”article-title“：”参数时间自动机的决定因素是什么？“，”volume“：”21“，”author“：”Andr\u00e9“，”year“2019”，“journal-title”：“国际技术转让软件工具杂志”}，{”key“：“Andres21”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“1”，“doi”：“10.1007\/978-3-030-81685-8_26”，“article-title”：“IMITATOR 3:可判定性以外的时序参数的合成”，“volume-title“：”CAV“，”volume“：”12759“，”author“：”Andr\u00e9“，”year“：”2021“}”，{“key”：”ABLM22“，”doi-assert-by“：”publisher“，”first页面“：”27“，”doi“：“10.1145\/3563822.3568013”，“article-title”：“strategFTO:定时不透明度的非定时控制”，“volume-title“：FTSCS”，“author”：“Andr\u00e9”，“year”：“2022”}，{“key”：“ALM23”，”doi-asserted-by“：”crossref“，”doi“：”10.1109\/ICECCS591923.00020“，”article-title“:”参数定时自动机中的过期不透明度问题“，”volume-title“：”ICECCS“，”作者“：“Andr\u00e9”，“年份”：“2023”}，{“问题”：“4”，“密钥”：“ALMS22”，“doi-asserted-by”：“publisher”，“首页”：“1”，“doi”：“10.1145\/3502851”，“文章标题”：“使用参数定时模型检查保证定时不透明度”，“卷”：“31”，“作者”：“Andr\u00e8”，“年”：“2020”，“日志标题”：问题“：”1“”，“key”：“ALM20”，“doi-asserted-by”：“publisher”，“doi”：“10.23638\/LMCS-16（1:5，“doi-asserted-by”：“publisher”，“first page”：“1”，“doi”：“10.1007\/978-3-030-00151-3_3”，《article-title》：“TCTL模型检查没有不变量的上界参数时间自动机”，“volume-title”：“FORMATS”，“volume”：”11022“，“author”：“Andr\u00e9”，“year”：“2018”}，{“issue”：“”1”，”key“：”ALR22“，”doi-assert-by“：”publisher“，”DO我“：“10.46298\/lmcs-18（1:31）2022”，“article-title”：“参数时间自动机中的可达性和活性”，“volume”：“18”，“author”：“Andr\u00e9”，“year”：“2022”、“journal-title“：”计算机科学中的逻辑方法“}，{“issue”：“6”，“key”：”AA23survey“，“doi-asserted-by”：“publisher”，“first-page”：“1”，“doi”：“10.1145\/3534967”，“article-titel“”：“时间自动机作为表达安全性的形式主义：理论与实践调查”，“卷”：“55”，“作者”：“Arcile”，“年份”：“2023”，“新闻标题”：“ACM计算调查”}，{“密钥”：“BHZ08”，“doi-asserted-by”：“publisher”，“首页”：“3”，”doi“10.1016\/j.scico.2007.08.001”，“文章标题”：“The Parma Polyhedra Library:Toward a Complete Set of Numerical Abstractions for Analysis and Verification of Hardware and Software Systems”，“volume”：“72”，“author”：“Bagnara”，“year”：“2008”，“journal-title”：“Science of Computer Programming”}，{“issue”：“6”，“key”：《BDR11》，“doi-asserted-by”：“publisher”，“first page”:“1207”，“doi”：“10.1017\/S0960129511000193”，“article-title”：“通过自我合成保护信息流”，“volume”：“21”，“author”：“Barthe”，“year”：“2011”，“journal-title“：”计算机科学中的数学结构“}，{“issue”：“2”，“key”：”BCLR15“，”doi-asserted-by“：”publisher“，”first page“：”217“doi”：“10.1080\/002014.944356”，“article-title”：“非干涉定时系统的控制与合成”，“卷”：“88”，“作者”：“Benattar”，“年份”：“2015”，“期刊标题”：“国际控制杂志”}，{“问题”：“2”，“关键”：“BlT09”，“doi-asserted-by”：“出版商”，“首页”：“121”，”doi“10.1007\/s10703-009-0074-0”，“文章标题”：“上界参数时间自动机的决策问题”，“volume”：“35”，“author”：“Bozzelli”，“year”：“2009”，“journal-title”：“系统设计中的形式化方法”，“author”：“Bruy\u00e8re”，“year”：“2008”，“journal-title”：“ACM Transactions on Computational Logic”}，{“key”：“Cassez09”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：《21》，“doi”：“10.1007\/978-3642-02617-1_3”，《article-title》：“时间不透明度的黑暗面”，“volume-title“ISA”，“卷”：“5576”，“作者”：“Cassez”，“year”：“2009”}，{“key”：“CB13”，“doi-asserted-by”：“publisher”，“first-page”：“41”，“doi”：“10.1109\/ACSD.2013.7”，“article-title”：“UPPAAL二进制程序的时序分析”，“volume-title“：”ACSD“，”author“：”Cassez“，”year“：”2013“doi”：“10.1109\/RTAS.2016.7461358”，“文章标题”：“通过符号执行进行精确缓存定时分析”，“volume-title”：“RTAS”，“author”：“Chu”，“year”：“2016”}，{“key”：“DXS18”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3214292.3214294”，“article-title“：”使用计算树逻辑检查缓存定时侧通道漏洞“，”volume-title“：”ISCA“，”author“：”Deng“，”年份“：”2018“}，“issue”：“1”，“key”：“DKMR15”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2756550”，“article-title”：“CacheAudit:缓存侧通道静态分析工具”，“volume”：”18“，”author“：”Doychev“，“year”：“2015”，“journal-title“：”ACM Transactions on Information and System Security“}，{”issue“：”1“，”key“：”GMR07“，”doi-assert-by“：”publisher“，”first page“35”，“DOI”：“10.1016\/j.entcs.2005.05.046”，“article-title”：“安全时间自动机的无干扰控制合成”，“volume”：“180”，“author”：“Gardey”，“year”：“2007”，“journal-title“：”理论计算机科学中的电子笔记“}，{“key”：”GWW18“，”DOI-asserted-by“：”publisher“，”first page“：”377“DOI“：”10.1145\/3236024.3236028“，”article-title“：“用于检测并发相关缓存定时泄漏的对抗性符号执行”，“volume-title”：“ESEC\/SIGSOFT FSE”，“author”：“Guo”，“year”：“2018”}，{“key”：“HMP91”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：《226》，“doi”：“10.1007\/BFBb0031995”，“article-title“：“定时转换系统”，“卷-时间”：“REX”，“卷”：“600”，“作者”：“Henzinger”，“年份”：“1992”}，{“键”：“HRSV02”，“doi-asserted-by”：“出版商”，“首页”：“183”，“doi”：“10.1016\/S1567-8326（02）00037-1”，“文章-时间自动机的线性参数模型检查”，“体积”：“52-53”，“作家”：“Hune”，“年”：“2002”，“日志标题”：“逻辑与代数程序设计杂志”}，{“issue”：“5”，“key”：“JLR15”，“doi-asserted-by”：“publisher”，“first page”：”445“，“doi”：“10.1109 \/TSE.2014.2357445”，“article-title”：“实时系统的整参数综合”，“volume”：《41》，“author”：“Jovanovi \\'c”，“year”：“2015”，“Journal-title“：”IEEE Transactions on Software Engineering“}，}”key“：“LYGY10”，“doi-asserted-by”：“publisher”，“first page”：“339”，“doi”：“10.1109\/RTSS.2010.30”，《article-title》：“多核软件时序分析的抽象解释与模型检查相结合”，“volume-title”：“RTSS”，“author”：“Lv”，“year”：“2010”}，{“key”：《Miller00》，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“296”，“DOI”：“10.1007 \/3-540-46430-1_26”，“article-title”：“时间自动机和半线性混合自动机的可判定性和复杂性结果”，“volume-title“：”HSCC“，”volume“：”1790“，”author“：”Miller“，”year“：”2000“}，{“key”：”PBPMB17“，”DOI-asserted-by“：”publisher“，”first-page“：”328“，”DOI“：”10.1109\/CSF 2017.8“，“article-title”：“自适应侧通道攻击的合成”，“volume-title“：“CSF”，“author”：“Phan”，“year”：“2017”}，{“key”：“TA05”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：《352》，“doi”：“10.1007\/11547662_24”，“artice-title）：“作为安全问题的安全信息流”，“volume-tite”：“第十二届国际静态分析研讨会论文集（SAS 2005）”，“卷”：“3672”，“作者”：“Terauchi”，“年份”：“2005”}，{“关键”：“TCT19”，“系列-标题”：“计算机科学讲义”，“doi-asserted-by”：“出版商”，“首页”：“140”，“doi”：“10.1007\/978-3-030-25540-4_8”、“volume-title”：“CAV，Part I”，“volume”：“11561”，“author”：“Tizpaz-Niari”，“year”：“2019”}，{“key”：《VNN18》，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：：“28”，“doi”：“10.1007\/978-319-89722-6_2”，“article-title）：“Timed Automata中的安全信息发布”，“volume-titel”：“POST”，“卷：“10804”，“作者”：“Vasilikos”，“year”：“2018”}，{“key”：“VNNK19”，“doi-asserted-by”：“publisher”，“first page”：：“32”，“doi”：“10.1109\/CSF.2019.00010”，“article-title”：“定时泄漏和粗暴时钟”，“volume-title“：”CSF，“doi-asserted-by”：“publisher”，“first page”：“44”，“DOI”：“10.1007\/978-3-030-01461-2_3”，“article-title”：“实时自动机初始状态不透明度的可判定性”，“volume-title“：“实时与混合系统专题讨论会——周朝晨教授80岁诞辰献稿”，“卷”：“11180”，“作者”：“王”，“年份”：“2018”}，{“问题”：“11”，“关键”：“WZA18”，“doi断言者”：“publisher”，“首页”：“2845”，“doi”：“10.1109\/TCAD.2018.257363”，“文章标题”：“实时自动机的不透明度”，“卷”：“37”，“作者”：“王”，“年份”：“2018”，“期刊标题”：“IEEE集成电路与系统计算机辅助设计汇刊”}，{“密钥”：“WGSW18”，“doi断言者”：“publisher”，“首页”：“15”，“doi”：“10.1145 \/3213846.3213851”，“article-title”：“使用程序修复消除定时侧通道泄漏”，“volume-title“：”ISSTA“，”author“：”Wu“，”year“：”2018“}]，“container-title（容器-时间）”：[“理论计算机科学中的电子论文集”]，“原始标题”：[]，“language”：“en”，“deposed”：{“date-parts”：[2023,12,24]]，“date-time”：“2023-12-24T22:04:21Z”，“timestamp”：1703455461000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/arxiv.org\/abs\/2310.20392v1”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2023,10,31]]}，'references-count“：38，”URL“：”http://\/dx.doi.org\/10.4204\/eptcs.392.1“，”relation“：{}，“ISSN”：[“2075-2180”]，“ISSN-type”：[{“value”：“2075~2180”，“type”:“electronic”}]，“主题”：[]，“已发布”：{“日期部分”：[[2023,10,31]]}}