1、非单射一致性 (No-injective agreement)

       A 作为发起者认为与响应者B完成了一轮协议会话,如果B确实作为响应者曾与A执行过该协议,并且两个主体对变量集ds中的所有变量的值都是统一认可的,则成协议发起真A提供B在变量集ds上的非单射一致性。

      那么满足非单射一致性的协议中,发起者A的协议轮和响应者B的协议轮不要求一一对应,有可能A发起了两次会话,但是B只运行了一次,另一次由攻击者重放第一轮会话冒充B完成,也有可能A只发送了一次会话,但攻击者重放第一轮会话冒充A, 让B运行两次,另外,有些协议不满足非单射一致性是因为攻击者成功误导两个参与主体,使得两个主体在协议运行结束后,变量集ds中的某些变量的值不同。

2、单射一致性(injective Agreement)

   发起者A认为B完成了一轮协议的会话,以B为响应者,如果B确实作为响应者曾与A执行过该协议,A和B对变量集ds中的所有边浪的值都是统一认可的,冰企鹅A的每一轮会话都是唯一对应B的一轮会话,则称协议对发起者A提供平B在变量集ds上的单射一致性。也称作强一致性,在电子商务相关的协议中A和B的协议之间的一一对应的关系非常的重要的。

 所以说上面的 区别主要就是 在A发起者  有没有存在唯一对应的应答。

3、存活性 (Aliveness)

    发起者A认为与B完成了一轮协议会话,并且B作为相应者,如果B确实曾经执行过该协议,则称协议对发起者A提供B的存活性认证,在满足存活性的情况下,不要求B是与A执行的改协议,并且也不要求B是最近执行的改协议,只要B曾经参与过协议执行即可

4、弱一致性(Weak agreement)

        发起者A 认为与B完成一轮协议会话,以B为响应者,如果B确实曾与A执行过该协议,则称协议发起者A提供B的弱一致性,满足弱一致性时, B与A执行过该协议,但是不一定作为响应者

相关文章:

  • 2021-11-21
  • 2022-12-23
  • 2022-12-23
  • 2022-02-08
  • 2021-12-07
  • 2021-05-22
  • 2022-12-23
猜你喜欢
  • 2021-12-17
  • 2021-08-21
  • 2021-11-29
  • 2022-12-23
  • 2022-01-12
  • 2021-11-03
相关资源
相似解决方案