安全协议

1、零知识证明的概念 设P表示掌握某些信息,并希望证实这一事实的实体,设V是证明这一事实的实体.n某个协议向V证明P的确掌握某些信息,但V无法推断出这些信息是什么,我们称P实现了最小泄露证明.n如果V除了知道P能够证明某一事实外,不能够得到其他。

2、1选择性泄漏的概念n选择性泄漏就是在不影响通讯双方会话的前提下,让证书持有者可以有选择的泄漏证书和当前会话的有关信息,而隐藏无关信息,来保护双方的隐私n需求n机密性n完整性n访问控制n性能n实用性2单一数字证书内容泄漏n是指一个证书中包含有。

3、1基本概念n密码学的用途:解决难题.n密码学解决的难题围绕的安全需求:机密性完整性认证性不可否认性公平性 n加密方案:密钥产生算法,加密算法不一定是确定性算法,解密算法2明文明文密文加密算法解密算法密钥密钥加密与解密加密和解密算法的操作通常。

4、1秘密分割 n设想你已发明了一种新的调味料,你只能告诉最信赖的雇员各种成分准确的调合,但如果他们中的一个背叛到对手方时怎么办呢这种情况就要求秘密分割.n1Trent产生一随机比特串R.n2Trent用R异或M得到S:M RSn3Trent把。

5、电子现金的概念n支票和信用卡减少了现金流量的数额,但留下了审计线索.n电子现金n匿名性,不可追踪.n无法复制操作,如购买,转账或修改等数字现金 vs 信用卡 匿名性鉴别性在线或离线 在线钱存储在数字钱包里钱存在银行关键属性n安全性 n匿名性。

6、盲签名1签名者不知道所签署的数据内容;2在签名被签名申请者泄露后,签名者不能追踪签名.Signature申申请请者者签签名者名者Signature1Send an carbonenveloped message 2Sign on the e。

7、1身份认证协议 KerberosnMIT开发的一种身份鉴别服务.nKerberos的本意是希腊神话中守护地狱之门的守护者.nKerberos提供了一个集中式的认证服务器结构,认证服务器的功能是实现用户与其访问的服务器间的相互鉴别.n其实现采。

8、选举选举的需求是什么Secure Booth保保护隐护隐私私选举Fair judge保证公平选举主要有两个需求隐私隐私公平公平选举传统投票 VS 电子选举 隐私性 公平性 有效性电子选举协议的安全需求n一般理想的选举协议至少应满足以下七点要。

9、安全多方计算的概念安全多方计算的概念 n安全多方计算Secure MultiParty Computation,SMPC是一种协议,在这个协议中,一群人可在一起用一种特殊的方法计算含有许多变量的任何函数.这一群中的每个人都知道这个函数的值。

10、1使用共享密钥密码的使用共享密钥密码的认证与密钥建立协议认证与密钥建立协议2使用对称密码的认证Alice,KABBob,KABIm AliceER,KABq 对Bob来说,这是验证Alice的一种安全方法q Alice不能验证Bobq 我们。

11、1概述n比特币是典型的去中心的电子现金n2008年11月1日,中本聪比特币:一种点对点的电子现金系统 提出了比特币的概念n2009年1月3日,比特币创世区块诞生n2017年12月17日,比特币达到历史最高价19850美元2比特币特点n去中心。

12、公平交换协议的基本概念n公平交换协议的定义n公平交换协议的基本模型n公平交换协议的基本要求公平交换协议的定义n假设Alice想在Bob公司购买一张机票.Alice首先发出一个预订请求,Bob公司确认后向Alice发出一个通知.n问题:Ali。

13、1协议 n所谓协议,就是两个或者两个以上的参与者为完成某项特定的任务而采取的一系列步骤.n在日常生活中,几乎所有的事情都有非正式的协议:电话订货玩扑克选举中投票,没有人认真考虑过这些协议,这些协议随着时间的推移而发展,人们都知道怎样使用它们。

14、1批签名概念n批签名是指能够用一次签名动作,完成对若干个不同的消息的签名.并且以后可以对每一条消息独立的进行认证.这类签名算法提高了对批量文件签名的效率2RSA批签名3二叉树批签名n使用签名的方法求出所有消息的总散列值M.n用一个选定的普通。

15、1非否认协议n非否认协议是为了防止不诚实者否认他们参与了某项事务而拒绝承担相应的责任而设计的协议.要求:1确保通信主体不能对通信事件抵赖;2确保在协议执行的任何阶段,任何通信主体不能获得优于其他主体的好处.n实现第一个:通过使协议通信各方获。

16、失败停止数字签名 Failstop FailStop数字签名最早是1990年由B.PfitzmannM.Waidner提出的.它允许实体A证明声称是A的签名实际上是伪造的签名.其做法是展示该签名机制所基于的假设已受到威胁.FailStop数。

17、特殊性质的签名体制n普通的数字签名具有广义可验证性,即任何人都可验证某个签名是否是对某个消息的签名.然而在某些情形下,特别是为了保护签名者或接收者的隐私时,并不希望让所有人都能验证签名消息对.这就是数字签名体制中广义可验证性和隐私性之间的矛。

18、1认证nAlice必须向Bob证明自己的身份,nAlice 和 Bob可以是人或计算机 nAlice也需要Bob证明他是Bob相互认证n可能还需要建立一个会话密钥 n可能有其他需求,如 n只使用公钥 n只使用对称密钥 n只使用哈希函数 n匿。

19、1n在群签名方案中,群的成员可以代表群进行签名,签名可用单一的群公开密钥验证.一旦消息被签名,除了指定的群管理者,没有人能够确定该签名是哪个特定的群成员签署的.群签名应该保证没有其他成员能够对于给定的消息伪造另一个成员的签名.群签名2n设置。

20、形式化方法简介形式化方法简介 n形式化方法兴起于70年代末期,如今已广泛用于解决理论和实际问题,计算机安全是它一个比较成功的应用领域.n形式化分析技术是有局限性的,协议系统的运行不是独立的,而是处于某种环境之下.n安全协议的形式化分析方法是。