摘要
马丁·阿巴迪、布鲁诺·布兰切特和塞德里克·福内特。 2018年，《应用Pi演算：移动价值观、新名称和安全通信》（The Applied Pi Calculus:Mobile Values，New Names，and Secure Communication）。 J.ACM 65，1（2018），1--41。 谷歌学者 
数字图书馆 
马丁·阿巴迪和塞德里克·福内特。 2004.私人身份验证。 理论计算机科学322，3（2004），427--476。 谷歌学者 数字图书馆 Ki Yung Ahn、Ross Horne和Alwen Tiu。 2017年，使用直觉主义模态逻辑描述开放双相似性。 程序中。 CONCUR 2017（LIPIcs），第85卷。 7:1--7:17. 谷歌学者 David Baelde、Kaustuv Chaudhuri、Andrew Gacek、Dale Miller、Gopalan Nadathur、Alwen Tiu和Yuting Wang。 2014.Abella：关于关系规范的推理系统。 J.形式化推理7，2（2014），1-89。 谷歌学者 文森特·雪娃（Vincent Cheval）、休伯特·科蒙·隆德（Hubert Comon-Lundh）和斯特凡妮·德劳恩（Stéphanie Delaune）。 2017.确定约束系统集之间符号等价性的程序。 信息和计算。 255，第1部分（2017年），94-125。 谷歌学者 交叉引用 
V.Cortier和B.Smyth。 2011.攻击和修复太阳神：选票保密分析。 2011年IEEE第24届计算机安全基础研讨会。 297--311. 谷歌学者 数字图书馆 玉溪府。 2005.关于准开放互模拟。 西奥。 计算。 科学。 338, 1--3 (2005), 96--126. 谷歌学者 数字图书馆 傅玉玺和杨振荣。 2003年，π微积分的Tau定律。 理论计算机科学308，1（2003），55--130。 谷歌学者 数字图书馆 M.Hennessy和R.Milner。 1985.不确定性和并发性的代数定律。 JACM 32，1（1985），137--161。 谷歌学者 数字图书馆 M.Johansson、J.Bengtson、J.Parrow和B.Victor。 2010年，心理学中的弱等价。 2010年，第25届IEEE计算机科学逻辑年会。 322--331. 谷歌学者 数字图书馆 马格努斯·约翰逊（Magnus Johansson）、比约恩·维克托（Björn Victor）和约阿希姆·帕罗（Joachim Parrow）。 2012.计算psi结石的强和弱共刺激。 《逻辑与代数编程杂志》81，3（2012），162-180。 谷歌学者 交叉引用 戴尔·米勒（Dale Miller）和阿尔文·蒂奥（Alwen Tiu）。 2005年，通用判断的证明理论。 ACM事务处理。 计算。 逻辑6，4（2005），749--783。 谷歌学者 数字图书馆 罗宾·米尔纳、约阿希姆·帕罗和大卫·沃克。 1993。移动过程的模态逻辑。 理论计算机科学114，1（1993），149--171。 谷歌学者 数字图书馆 罗宾·米尔纳（Robin Milner）和戴维德·桑吉奥吉（Davide Sangiorgi），1992年。 Barbed共刺激。 施普林格，柏林，海德堡，685-695。 谷歌学者 乌戈·蒙塔纳里（Ugo Montanari）和弗拉迪米罗·萨松（Vladimiro Sassone）。 1992年，CCS的动态一致性与渐进互模拟。 《信息基础》16，2（1992），171-199。 谷歌学者 数字图书馆 Joachim Parrow和Davide Sangiorgi，1995年。 传名演算的代数理论。 信息与计算120，2（1995），174--197。 谷歌学者 数字图书馆 约阿希姆·帕罗和比约恩·维克多。 1998年，《融合微积分：移动过程中的表达性和对称性》。 程序中。 LICS 1998年。 IEEE计算机学会，176-185。 谷歌学者 数字图书馆 Davide Sangiorgi，1996年。 &pi；的互模拟理论- 微积分。 《信息学报》33，1（1996年2月1日），69-97。 谷歌学者 数字图书馆 大卫·桑吉奥吉和大卫·沃克。 2001.关于&pi；中的倒刺等价- 微积分。 施普林格，柏林，海德堡，292--304。 谷歌学者 Alwen Tiu和Dale Miller。 2010.&pi；的互模拟和模态逻辑的证明搜索规范- 微积分。 ACM事务处理。 计算。 逻辑11，2，第13条（2010年），35页。 谷歌学者 数字图书馆
建议
当隐私失败时，一个公式描述了一种攻击：一种完整的、组合的验证方法，用于应用 π -微积分 摘要 我们证明了应用程序的三种语义 π -演算一致性&测试语义、标记等价和模态逻辑，并解释了这些语义中的设计决策是如何被这种一致性客观地支持的。 每个。。。 集锦 假设强大的测试等价性（开放倒刺双相似性）适合对隐私问题中的攻击者能力进行建模。 证明了更适合于证明隐私属性的准开放双相似性是。。。
应用中协议等价性的组成分析 -利用拟开双相似性的微积分 计算理论——ICTAC 2021 摘要 本文证明了拟开双相似性是 最粗双相似同余 适用于 -微积分。 此外，我们还表明，这种等价性适用于安全和隐私问题，这些问题在本文中表示为等价问题。。。 次一致描述逻辑的双相似性 集体智能信息和数据库系统 我们引入了次一致描述逻辑中解释之间的w.r.t.信息比较，并使用它们来定义此类逻辑的双相似性。 当出现不一致时，这个概念对于描述逻辑中的概念学习很有用。 我们。。。
