×

关于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号].

MSC公司:

第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
第68季度第60季度 规范和验证(程序逻辑、模型检查等)
94A60型 密码学
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接