非单射一致性和单射一致性的概念辨析

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执行过该协议，但是不一定作为响应者