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

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