迈克尔·巴克斯;马菲，马泰奥;埃斯凡迪亚·穆罕默德 安全多方计算的计算可靠抽象和验证。 （英语） Zbl 1245.68027号 Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学会议录8，352-363，仅电子版（2010年）。 摘要：我们设计了应用（pi）演算中安全多方计算的抽象。基于这种抽象，我们提出了一种方法，利用安全多方计算对密码协议的安全性进行机械分析。我们通过分析SIMAP糖基双拍卖协议来证明我们的框架的适用性。最后，我们研究了抽象的计算可靠性，证明了对应用（pi）演算中表示的协议的分析以及基于抽象的协议提供了计算安全保障。有关整个系列，请参见[Zbl 1213.68048号]。 MSC公司： 68平方米 网络协议 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：计算可靠性;安全多方计算;过程结石;协议验证 软件：OFMC公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Backes}等人，LIPIcs——莱布尼茨国际程序。通知。8352-363（2010年；Zbl 1245.68027） 全文： 内政部 链接