用Spi演算描述并验证非对称双向鉴证协议

Description and Verification of Asymmetric Bi-Directional Authentication Protocol in Spi Calculus

移动代理能够自主地在异构的网络间迁移 .在代理迁移到下一个服务器之前 ,需要解决代理迁徙过程中的安全性问题 ,即如何进行代理与服务器之间的双向认证 .提出的非对称双向鉴证协议能够较好地解决该安全问题 .同时 ,用 Spi演算对该协议进行了描述 。

Mobile agent can migrate autonomously among the heterogeneous networks. The security problem during the agent's migration(i.e. how to make bi directional authentication between the agent and the server) should be solved before the agent migrates to the next server. This paper proposed an asymmetric bi directional authentication protocol which can solve this security problem. This protocol was described and verified by Spi calculus.