约翰·博格斯特罗姆;乌韦·内斯特曼 关于spi演算的互模拟。 (英语) Zbl 1275.68101号 Kirchner,Hélène(编辑)等人,代数方法论和软件技术。第九届国际会议,2002年AMAST,2002年9月9日至13日,法国留尼汪岛圣吉尔-莱斯-巴恩斯。生产。柏林:施普林格出版社(ISBN 3-540-44144-1/pbk)。计算机科学课堂讲稿2422287-303(2002)。 摘要:spi演算是pi演算的扩展,具有加密原语,专为验证加密协议而设计。由于扩展,pi-calculus的标记互模拟的朴素适应性太强,无法用于验证目的。相反,作为一种可行的替代方案,已经提出了几种“环境敏感”的相互模拟。在本文中,我们正式研究了这些相互模拟之间的差异。关于整个系列,请参见[Zbl 1045.68011号]. 引用于4文件 MSC公司: 第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 第68季度第60季度 规范和验证(程序逻辑、模型检查等) 94A60型 密码学 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}和\textit{U.Nestmann},Lect。注释计算。科学。2422287--303(2002年;Zbl 1275.68101) 全文: 内政部 链接