如何与诚实但好奇的法官合作？（初步报告）
密码学与安全
2009-10-22 v1 计算机科学中的逻辑
编程语言
摘要
三位法官协议最近被 Mclver 和 Morgan 作为安全协议逐步精化的一个例子而提出，该协议研究如何安全地计算多数函数以达成最终裁决，同时不泄露每位法官的个人决定。我们以两种不同的方式将该协议推广到任意数量的 位法官。第一种推广本质上是中心化的，即需要一位法官作为领导者，从其他法官处收集信息，计算多数函数，并宣布最终结果。另一种方法可以通过略微修改著名的“就餐密码学家”协议来获得，但它会揭示投票数量而非最终裁决。我们定义了条件匿名性的概念以分析这两种解决方案。这两种方案均已通过模型检测器 MCMAS 进行了验证。
引用
@article{arxiv.0910.4044,
title = {How to Work with Honest but Curious Judges? (Preliminary Report)},
author = {Jun Pang and Chenyi Zhang},
journal= {arXiv preprint arXiv:0910.4044},
year = {2009}
}