基于CSP方法的移动自组织网络认证协议TAM的分析与改进

针对移动自组织网络认证协议应对安全威胁、满足安全目标的有效性问题，提出了采用基于通信顺序进程（CSP, communicating sequential process）和模型检测的协议分析方法，对移动自组织网络的代表性认证协议TAM进行分析、建模、检验并改进。首先采用CSP方法对TAM中参与者的通信行为建立模型、给出了安全目标的安全规范；然后利用模型检测工具FDR验证了TAM的CSP进程，结果表明TAM不满足认证性和机密性安全规范；最后对TAM进行了改进并检验，结果表明改进后的TAM满足安全目标，实验表明与TAM相比，改进的TAM在合理的簇规模情况下增加可接受的额外开销。