《安全多方计算》PPT课件.ppt

第十二章 安全多方计算,杨秋伟湖南大学 计算机与通信学院,安全多方计算：密码学家晚餐问题,David Chaum的密码学家晚餐问题场景描述三个密码学家(Alice Bob Carol)坐在他们最喜欢的三星级餐馆准备吃晚餐业务逻辑侍者通知他们晚餐需匿名支付账单其中一个密码学家可能正在付账可能已由美国国家安全局NSA付账他们彼此尊重匿名付账的权利，但又需要知道是不是NSA在付账系统目标如何确定三者之一在付账同事又要保护付账者的匿名性？,安全多方计算：密码学家晚餐问题,David Chaum的密码学家晚餐问题一个简单有效的解决方案每个密码学家将菜单放置于左边而互相隔离开来每个人只能看到自己和右边密码学家的结果每个密码学家在他和右边密码学家之间抛掷一枚硬币每个密码学家广播她能看到的两枚硬币是同一面还是不同的一面如果有一个密码学家付账，则他说相反的结果判定结果桌上说“不同”的人数为奇数某个密码学家在付账桌上说“不同”的人数为偶数NSA在付账如果某个密码学家在付账，另两人不能精确定位到该密码学家,安全多方计算：密码学家晚餐问题,假设密码学家Alice试图弄清其他哪个密码学家在付账如果她看见两个不同的硬币那么另外两个密码学家或者都说“相同”、或者都说“不同”付账者是最靠近与未看见的硬币不同的那枚硬币的密码学家如果她看见两个相同的硬币那么另外两个密码学家一个说“相同而另一个说“不同”如果未看见的硬币与她看到的两枚硬币相同说“不同”的密码学家是付账者如果未看见的硬币与她看到的两枚硬币不同说“相同”的密码学家是付账者,安全多方计算：密码学家晚餐问题,假设密码学家Alice试图弄清其他哪个密码学家在付账无论如何Alice都需要知道Bob与Carol抛掷硬币的结果Crypt(i),Coin(i)分别表示密码学家和掷币结果Crypt(i)付款输出=Coin(i-1)Coin(i)Crypt(i)没付款输出=Coin(i-1)Coin(i)1,安全多方计算：密码学家晚餐问题,安全多方计算：密码学家晚餐问题,“晚餐问题”的延伸两个密码学家的“晚餐问题”协议他们会知道谁付的账旁观者只知道其中某个人付账或者NSA付账，不能精确定位任意数量的密码学家“晚餐问题”协议全部坐成一个圈并在他们中抛掷硬币,安全多方计算：密码学家晚餐问题,“晚餐问题”的应用匿名消息广播用户把他们自己排进一个逻辑圆圈构造饭桌在一定的时间间隔内，相邻的每对用户对他们之间抛掷硬币使用一些公正的硬币抛掷协议防止窃听者在每次抛掷之后每个用户说“相同”或“不同”,无条件的发送方和接受方不可追踪性,恶意的参与者不能读出报文，但他能通过在第三步撒谎来破坏系统,安全多方计算：平均工资问题,平均工资问题场景描述Alice、Bob、Carol和Dave四人在一起组织工作业务需求他们想了解平均工资无仲裁者系统目标任何人不想让其他人知道自己的工资,安全多方计算：平均工资问题,平均工资问题的一种有效解决方案Alice生成一个随机数，将其与自己的工资相加，用Bob的公钥加密发送给BobBob用自己的私钥解密，加进自己的工资，然后用Carol的公钥加密发送给CarolCarol用自己的私钥解密，加进自己的工资，然后用Dave的公钥加密发送给Dave,安全多方计算：平均工资问题,平均工资问题的一种有效解决方案Dave用自己的私钥解密，加进自己的工资，然后用Alice的公钥加密发送给AliceAlice用自己的私钥解密，减去原来的随机数得到工资总和Alice将工资总和除以人数得到平均工资，宣布结果,协议假定所有的参与者是诚实的，如果不诚实则平均工资错误Alice可以谎报结果（她作为了“名义上”的集成者）,安全多方计算：平均工资问题,平均工资问题的一种有效解决方案比特承诺可以解决“Alice谎报”缺陷运用比特承诺协议让Alice向Bob传送他的随机数协议结束后，Bob可以获知Alice的工资,安全多方计算：终身伴侣问题,终身伴侣问题场景描述Alice、Bob都在寻找终身伴侣相亲(非诚勿扰、我们约会吧)业务需求(兴趣爱好)Alice：KTV、逛街、劲乐团Bob：NBA、足球、聚会、宅系统目标对自己的择偶要求难为情含蓄表达、意会、不表达找一个趣味相投的终身伴侣,安全多方计算：终身伴侣问题,终身伴侣问题的一种有效解决方案使用一个单向函数，Alice将她的择偶要求m，HASH得到一个8位数字的字符串h(m)Alice用这8位数字作为电话号码拨号，并留言如果电话号码无效，Alice给这个电话号码申请一个单向函数直到她找到一个与她有相同择偶要求的人Alice告诉Bob她为她的择偶要求申请一个单向函数的次数Bob用和Alice相同次数的HASH他的择偶要求他也用这个8位数字作为电话号码，试图听取留言有留言，则配对成功,安全多方计算：终身伴侣问题,终身伴侣问题的一种有效解决方案Bob可以进行“选择明文攻击”可以HASH一般的择偶要求拨打所得的电话号码，以窃听留言只有在不可能得到足够多的明文消息的情况下该协议安全,安全多方计算：其它几个经典应用场景,示例一Alice认为自己得了某种遗传疾病，想验证自己的想法她知道Bob有一个关于疾病的DNA模型的数据库如果她把自己的DNA样品寄给BobBob可以给出她的DNA的诊断结果Alice又不想别人知道这是她的隐私,安全多方计算：其它几个经典应用场景,示例二A公司决定扩展在某些地区的市场份额来获取丰厚的回报A公司也注意到B公司也在扩展一些地区的市场份额两个公司都不想在相同地区互相竞争信息的泄露可能会导致公司很大的损失比如另一家对手公司知道A和B公司的扩展地区，提前行动占领市场又比如房地产公司知道A和B公司的扩展计划，提前提高当地的房租等等在不泄露市场地区位置信息的情况下知道市场是否有重叠,安全多方计算：其它几个经典应用场景,示例三两个金融组织计划为了共同的利益决定互相合作一个项目每个组织都想自己的需求获得满足他们的需求都是他们自己专有的数据，没人愿意透露给其它方，甚至是“信任”的第三方那么他们如何在保护数据私密性的前提下合作项目呢？,安全多方计算：基本概念,多方计算问题一组参与者希望共同计算某个约定的函数函数的输入参数有多个每个参与者提供函数的一个输入安全多方计算问题(Secure Multi-party Computation)引入安全因素其中每个人都知道这个函数的值除了函数的输出外，没有人知道关于任何其它成员输入的任何事情,安全多方计算：基本概念,来自于经典应用场景的启发安全多方计算的基本特征两方或多方参与者基于他们各自私密输入的计算彼此都不想其它方知道自己的输入信息问题变成了在保护输入数据私密性的前提下如何实现这种计算?安全多方计算问题在一个分布网络上计算基于任何输入的任何概率函数每个输入方在这个分布网络上都拥有一个输入该分布网络要确保输入的独立性、计算的正确性除了各自的输入外，不透露其它任何可用于推导其它输入和输出的信息,