佩德罗·阿德奥;塞德里克·Fornet 用于通信进程的加密声音实现（扩展摘要）。 （英语） Zbl 1133.94342号 Bugliesi，Michele（编辑）等人，《自动化，语言和编程》。2006年7月10日至14日，意大利威尼斯，第33届国际学术讨论会，ICALP 2006。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-35907-4/pbk）。计算机科学课堂讲稿4052，83-94（2006）。 摘要：我们设计了一种在公共网络上运行分布式程序的主体的核心语言。我们的语言是pi演算的变体，具有安全通信、移动名称和高级证书，但没有任何显式加密。在这种语言中，即使在存在任意（抽象）对手的情况下，也可以使用跟踪属性和观测等价物方便地研究安全属性。即使存在被建模为任意概率多项式时间算法的对手，也可以通过标准密码原语和计算假设在具体环境中实现这些安全属性。为此，我们开发了一个加密实现，它保留了所有安全程序的所有属性。我们给出了一系列稳健性和完整性结果，这些结果精确地将语言与其实现联系起来。关于整个系列，请参见[Zbl 1113.68003号]. 引用于5文件 MSC公司： 94A62型 身份验证、数字签名和秘密共享 PDF格式BibTeX公司 XML格式引用 \textit{P.Adáo}和\textit{C.Fournet}，莱克特。注释计算。科学。4052、83--94（2006年；Zbl 1133.94342） 全文： 内政部