米歇尔·布格列西；朱塞佩·卡斯塔尼亚；西尔维亚·克拉法；里卡多·福卡迪；弗拉迪米罗·萨松 通过名字计算和密码密码的调查。 （英语） Zbl 1202.68166号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础II》。FOSAD 2001/2002辅导讲座。柏林：施普林格出版社（ISBN 3-540-20955-7/pbk）。莱克特。注释计算。科学。2946, 91-138 (2004). 摘要：本文综述了关于高级名称传递过程演算的文献，以及它们与密码原语的扩展。调查并非详尽无遗，主要有两个原因。首先，在尝试提供不同想法和技术的连贯演示时，不可避免地会忽略不符合预期路线图的方法。其次，多年来，有关这一主题的文献一直在以非常高的速度增长。因此，我们决定专注于介绍主要思想的几篇论文，希望对其进行详细讨论，为进一步阅读提供足够的见解。关于整个系列，请参见[Zbl 1031.68062号]. MSC公司： 第68页第25页 数据加密（计算机科学方面） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 94A60型 密码学 PDF格式BibTeX公司 XML格式引用 \textit｛M.Bugliesi｝等人，Lect。注释计算。科学。2946，91--138（2004；Zbl 1202.68166） 全文： 内政部