《3基本的安全协议.pptVIP

* 比特承诺 这个魔术的要点在于，Alice在戏法的最后交换了信封。然而，密码协议能够提供防止这种花招的方法。 承诺方案:Alice想对Bob承诺一个预测（即1bit或bit序列），但直到某个时间以后才揭示她的预测。而另一方面，Bob想确信在Alice承诺了她的预测后，她没有改变她的想法。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 基本思想 承诺者Alice向接收者Bob承诺一个消息，承诺过程要求，Alice向Bob承诺时，Bob不可能获得关于被承诺消息的任何信息；经过一段时间后，Alice能够向Bob证实她所承诺的消息，但是Alice无法欺骗Bob。 . 协议 Alice把消息m放在一个箱子里并锁住（只有Alice有钥匙可以打开箱子）送给Bob； 当Alice决定向Bob证实消息时，Alice会把消息m及钥匙给Bob； Bob能够打开箱子并验证箱子里的消息与Alice出示的消息相同，并且Bob确信箱子里的消息在他的保管期间没有被篡改。 比特承诺 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 比特承诺方案具有两个重要性质 隐蔽性:即接收者不能通过接收的箱子来确定承诺值m 约束性:发送者不能改变箱子中的承诺值m 构造比特承诺 使用单向函数 :哈希函数 ,公钥加密 比特承诺 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 比特承诺 Alice承诺b（使用对称密码算法） （1）Bob产生一个随机比特串R，并把它发送给Alice。 （2）Alice生成一个由她想承诺的比特b组成的消息（b实际上可能是几个比特），以及Bob的随机串。她用某个随机密钥K对它加密，并将结果EK（R，b）送回给Bob。 Alice揭示b 当到了Alice揭示她的比特的时候，协议继续： （1）Alice发送密钥给Bob； （2）Bob解密消息以揭示比特。他检测他的随机串以证实比特的有效性。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 比特承诺 Alice承诺b（使用单向函数的比特承诺） （1）Alice产生两个随机比特串，R1和R2。 （2）Alice产生消息，该消息由她的随机串和她希望承诺的比特组成。（R1，R2，b）。 （3） Alice计算消息的单向函数值，将结果以及其中一个随机串发送给Bob。H（R1，R2，b），R1。 当到了Alice揭示她的比特的时候，协议继续： （1）Alice将原消息发给Bob。（R1，R2，b） ； （2）Bob计算消息的单向函数值，并将该值及R1与原先第（3）步收到的值及随机串比较。如匹配，则比特有效。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 比特承诺 Alice承诺（使用伪随机序列发生器的比特承诺） （1）Bob产生随机比特串RB，并送给Alice 。 （2）Alice为伪随机比特发生器生成一个随机种子。然后，对Bob随机比特串中的每一比特，她回送Bob下面两个中的一个：(a)如果Bob比特为0，发生器输出比特值；(b)如果Bob的比特为1，发生器输出与她的承诺比特的异或 。 当到了Alice揭示她的比特的时候，协议继续： （1）Alice将随机种子送给Bob ； （2）Bob确认Alice的行动是合理的 。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 公平的硬币抛掷 Alice和Bob想抛掷一个公平的硬币，但又没有实际的物理硬币可抛。Alice提出一个用思维来抛掷公平硬币的简单方法。“首先，你想一个