45、密码协议组合与P2P系统安全验证

密码协议组合与P2P系统安全验证

1. 密码协议组合相关研究

1.1 协议组合示例

在NSL - DB协议中，存在一对一的协议组合，例如：

NSL.init {A,B,NA,NB} ; {A,B,NA} DB.resp [1 - 1] .

对应的转换后的链如下：

[NSL.init] :: r :: [ +(pk(B,n(A,r);A)), -(pk(A,n(A,r);N;B)), +(pk(B,N)),
-(db - resp(r#)), +(nsl - init(r#) . A . B . n(A,r)) ] .
[DB.resp] :: r# :: [ +(db - resp(r#)), -(nsl - init(r#) . A . B . NA),
-(NB), +(NB * NA) ] .

在NSL - KD协议中，存在一对多的协议组合，例如：

NSL.resp {A,B,NA,NB} ; {A,B,h(NA,NB)} KD.init [1 - *] .

对应的转换后的链如下：

[NSL.resp] :: r,r# :: [-(pk(B,N;A)), +(pk(A,N;n(B,r);B)), -(pk(B,n(B,r))),
+