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