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

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