克莱门·奥伯特;罗斯·霍恩;克里斯蒂安·约翰森 互不干涉应用（pi）演算中关于持续时间和因果关系的互模拟。 （英语） 兹比尔1532.68032 Castiglioni，Valentina（ed.）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会论文集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，3-22（2022）。 摘要：本文展示了如何利用异步转换系统来定义应用的（pi）演算的非交错语义，该系统的转换用事件标记，并具有事件独立性的概念。我们定义的最重要的概念是：开始-终止或ST相似性，保留事件的持续时间；和历史保留或HP-双相似性，保留因果关系。我们指出，相应的相似性预序清楚地揭示了这些语义之间的区别。我们特别关注HP故障相似性的区分能力，并讨论它如何影响攻击者威胁模型，以验证安全和隐私属性。我们还将现有的位置相似性概念与我们引入的定义进行了比较。关于整个系列，请参见[Zbl 1522.68022号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：NTS的模型逻辑 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}等人，《电子》。程序。西奥。计算。科学。（EPTCS）368，3--22（2022；Zbl 1532.68032） 全文： arXiv公司 链接 参考文献： [1] Martín Abadi，Bruno Blanchet&Cédric Fornet（2018）：应用Pi演算：移动价值、新名称和安全通信。J.ACM 65（1），第1:1-1:41页，doi:10.1145/3127586·Zbl 1426.68037号 ·doi:10.1145/3127856 [2] Luca Aceto和Uffe Engberg（1991）：用精化的简单过程语言的失败语义。在Somanath Biswas和Kesav V.Nori，编辑：软件技术和理论计算机科学基础，Springer，第89-108页，doi:10.1007/3-540-54967-6_63·doi:10.1007/3-540-54967-663 [3] Luca Aceto和Matthew Hennessy（1994）：向有限过程代数中添加动作细化。通知。和计算。115（2），第179-247页，doi:10.1006/inco.1994.1096·Zbl 0834.68077号 ·doi:10.1006/inco.1994.1096 [4] Clément Aubert、Ross Horne和Christian Johansen（2022）：钻石安全：应用Pi-Calculus的非交叉Op-erational语义。Bartek Klin，Sławomir Lasota和Anca Muscholl，编辑：第33届国际并发理论会议，Leibniz International Proceedings In Informatics 243，Schloss Dagstuhl-Leibniz-Zentrum für Informatik，第30:1-30:26页，doi:10.4230/LIPIcs。合同2022。30. ·doi:10.4230/LIPIcs。合同2022.30 [5] Michele Boreale和Davide Sangiorgi（1998）：π演算因果关系的完全抽象语义。Acta Inform公司。35（5），第353-400页，doi:10.1007/s002360050124·Zbl 0908.68103号 ·doi:10.1007/s002360050124 [6] 盖拉德·鲍多尔、伊拉里亚·卡斯特拉尼、马修·亨尼西和阿斯特里德·基恩（1994）：具有局部性的过程理论。形式方面计算。6（2），第165-200页，doi:10.1007/BF01221098·Zbl 0806.68070号 ·doi:10.1007/BF01221098 [7] Ilaria Castellani（1995）：观察过程中的分布：静态和动态位置。发现的国际期刊。计算。科学。6（04），第353-393页，doi:10.1142/S0129054195000196·Zbl 0843.68060号 ·doi:10.1142/S0129054195000196 [8] V.Cheval，R.Crubillé和S.Kremer（2022）：Dice符号协议验证：概率存在下的过程等价性。收录于：2022年2022年IEEE第35届计算机安全基础研讨会（CSF），IEEE计算机学会，加利福尼亚州洛斯阿拉米托斯，美国，第303-318页，doi:10.1109/CSF54842。2022.00020. ·doi:10.1109/CSF54842.2022.00020 [9] Vincent Cheval、Steve Kremer和Itsaka Rakotonirina（2019）：在证明安全协议的等效属性时利用对称性。Lorenzo Cavallaro、Johannes Kinder、XiaoFeng Wang和Jonathan Katz，编辑：2019年ACM SIGSAC计算机和通信安全会议记录，CCS 2019，英国伦敦，2019年11月11日至15日，ACM，第905-922页，doi:10.1145/3319535。3354260. ·doi:10.1145/3319535.3354260 [10] Silvia Crafa、Daniele Varacca和Nobuko Yoshida（2012）：Pi-Calculus中平行挤压的事件结构语义。Lars Birkedal主编：《软件科学和计算结构基础——第15届国际会议》，FOSSACS 2012，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2012，爱沙尼亚塔林，2012年3月24日至4月1日。论文集，LNCS 7213，Springer，第225-239页，doi:10.1007/978-3642-28729-9_15·兹比尔1352.68179 ·doi:10.1007/978-3-642-28729-9_15 [11] Ioana Cristescu、Jean Krivine和Daniele Varacca（2015）：CCS和π演算的刚性族。Mar-tin Leucker、Camilo Rueda和Frank D.Valencia主编：《计算的理论方面——2015年ICTAC第12次国际学术讨论会》，哥伦比亚卡利，2015年10月29日至31日，《会议录》，LNCS 9399，Springer，第223-240页，doi:10.1007/978-3319-25150-9_14·Zbl 1471.68161号 ·数字对象标识代码：10.1007/978-3-319-25150-9_14 [12] Pierpaolo Degano、Rocco De Nicola和Ugo Montanari（1989）：非确定性并发过程的部分序描述和观测。J.W.de Bakker、W.P.de Roever和G.Rozenberg主编：《逻辑和并发模型中的线性时间、分支时间和部分顺序》，Springer，第438-466页，doi:10.1007/BFb0013030·doi:10.1007/BFb0013030 [13] 邓玉欣（Yuxin Deng）、马修·亨尼西（Matthew Hennessy）、罗伯·范·格拉贝克（Rob van Glabbeek）和卡罗尔·摩根（Carroll Morgan）（2008）：《有限概率过程的测试前序特征》。日志。方法计算。科学。第4卷第4期，doi:10.2168/LMCS-4（4:4）2008·Zbl 1161.68035号 ·doi:10.2168/LMCS-4（4:4）2008年 [14] Ihor Filimonov、Ross Horne、Sjouke Mauw和Zach Smith（2019）：使用相似性打破ICAO 9303电子护照标准的不可链接性。在Kazue Sako，Steve A.Schneider和Peter Y.A.Ryan，编辑：《计算机安全——2019年欧洲计算机安全研究研讨会》，卢森堡，2019年9月23日至27日，第一部分，LNCS 11735，斯普林格，第577-594页，doi:10.1007/978-3-030-29959-0_28·doi:10.1007/978-3-030-29959-028 [15] Rob van Glabbeek（1990）：ST-简化语义的精化定理。技术报告R 9002，数学和计算机科学中心。可在https://ir.cwi.nl/pub/5765。 [16] Rob van Glabbeek（2001）：线性时间分支时间谱I。具体、连续过程的语义。J.A.Bergstra、A.Ponse和S.A.Smolka主编：《过程代数手册》，Elsevier，第3-99页，doi:10.1016/b978-044482830-9/50019-9·Zbl 1035.68073号 ·doi:10.1016/b978-044482830-9/50019-9 [17] Rob van Glabbeek和Gordon D.Plotkin（2009）：配置结构、事件结构和Petri网。西奥。计算。科学。410（41），第4111-4159页，doi:10.1016/j.tcs.2009.06.014·Zbl 1187.68329号 ·doi:10.1016/j.tcs.2009.06.014 [18] Rob van Glabbeek和Frits W.Vaandrager（1997）：n和n+1中分裂的区别。Inf.计算。136（2），第109-142页，doi:10.1006/inco.1997.2634·兹比尔0889.68055 ·doi:10.1006/inco.1997.2634 [19] Roberto Gorrieri和Cosimo Laneve（1995）：分裂和ST互模拟语义。Inf.计算。118（2），第272-288页，doi:10.1006/inco.1995.1066·Zbl 0826.68077号 ·doi:10.1006/inco.1995.1066 [20] Matthew Hennessy（1995）：过程的并发测试。《信息学报》32（6），第509-543页，doi:10。1007/BF01178906·Zbl 0835.68074号 ·doi:10.1007/BF01178906 [21] Ross Horne和Sjouke Mauw（2021）：使用双相似性发现电子护照漏洞。日志。方法。计算。科学。17（2），第24页，doi:10.23638/LMCS-17（2:24）2021·Zbl 07379295号 ·doi:10.23638/LMCS-17（2:24）2021年 [22] Ross Horne、Sjouke Mauw和Semen Yurkov（2021）：应用π-演算中协议等价性的成分分析（使用准开放双相似性）。安东尼奥·塞隆（Antonio Cerone）和彼得·卡萨巴·勒夫茨基（Peter Csabalveczky）主编：《计算机的理论方面——ICTAC 2021年第18届国际学术讨论会，虚拟事件》，哈萨克斯坦努尔苏尔坦，2021年9月8日至10日，《LNCS 12819会议记录》，斯普林格出版社，第235-255页，doi:10。1007/978-3-030-85315-0_14. ·Zbl 07500647号 ·数字对象标识代码：10.1007/978-3-030-85315-0_14 [23] Christian Johansen（2016）：ST-结构。J.日志。代数方法课程。85（6），第1201-1233页，doi:10.1016/j.jlamp.2015.10.009·Zbl 1353.68208号 ·doi:10.1016/j.jlamp.2015.10.009 [24] Madhavan Mukund和Mogens Nielsen（1992）：CCS，位置和异步转换系统。R.K.Shyamasundar主编：《软件技术和理论计算机科学基础》，第12期 [25] 会议，印度新德里，1992年12月18日至20日，《会议录》，LNCS 652，Springer，第328-341页，doi:10.1007/3-540-56287-7_116·doi:10.1007/3-540-56287-7_116 [26] Joachim Parrow、Johannes Borgström、Lars-Henrik Eriksson、Ramanus Gutkovas和Tjark Weber（2021）：标称过渡系统的模态逻辑。日志。方法。计算。科学。17（1），第6:1-6:49页，doi:10.23638/LMCS-17（1:6）2021·Zbl 1509.68188号 ·doi:10.23638/LMCS-17（1:6）2021 [27] Alexander Rabinovich和Boris Avraamovich Trakhtenbrot（1988）：行为结构和网络。基金。通知。11（4），第357-404页，doi:10.3233/FI-1988-11404·Zbl 0657.68068号 ·doi:10.3233/FI-1988-11404 [28] Davide Sangiorgi（1996）：移动进程计算中的位置和交错语义。西奥。Com-输入。科学。155（1），第39-83页，doi:10.1016/0304-3975（95）00020-8·Zbl 0874.68115号 ·doi:10.1016/0304-3975（95）00020-8 [29] Davide Sangiorgi（1996）：圆周率微积分的双模拟理论。Acta Inform公司。33（1），第69-97页，doi:10.1007/s002360050036·Zbl 0835.68072号 ·doi:10.1007/s002360050036 [30] Davide Sangiorgi和David Walker（2001）：关于pi-Calculus中的倒钩等价。Kim Guldstrand Larsen&Mogens Nielsen，编辑：CONCUR 2001-并发理论，第12届国际会议，丹麦奥尔堡，2001年8月20-25日，LNCS 2154，Springer，第292-304页，doi:10.1007/3-540-44685-0_20·Zbl 1006.68090号 ·doi:10.1007/3-540-44685-0_20 [31] Daniele Varacca和Nobuko Yoshida（2010）：类型化事件结构和线性像素。西奥。Com-输入。科学。411（19），第1949-1973页，doi:10.1016/j.tcs.2010.01.024·Zbl 1200.68165号 ·doi:10.1016/j.tcs.2010.01.024 [32] 沃尔特·福格勒（1991）：基于区间半词的失败语义是求精的同余。分布式计算4（3），第139-162页，doi:10.1007/BF01798961·Zbl 0723.68069号 ·doi:10.1007/BF01788961 [33] 沃尔特·福格勒（1996）：分裂n语言对等的极限。Inf.计算。127（1），第41-61页，doi:10。1006/收入1996.0048·Zbl 0855.68031号 ·doi:10.1006/inco.1996.0048 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。