|
|||||
|
|
| 用Spi演算描述并验证非对称双向鉴证协议 | |
| 引用本文： | 万燕,孙永强.用Spi演算描述并验证非对称双向鉴证协议[J].上海交通大学学报,2002,36(9):1325-1328. |
| 作者姓名： | 万燕 孙永强 |
| 作者单位： | 上海交通大学,计算机科学与工程系,上海,200030 |
| 摘 要： | 移动代理能够自主地在异构的网络间迁移，在代理迁移到下一个服务器之前，需要解决代理迁徙过程中的安全性问题，即如何进行代理与服务器之间的双向认证，提出的非对称双向鉴证协议能够较好地解决该安全问题，同时，用Spi演算对该协议进行了描述，并验证了该协议的安全性。 |
| 关 键 词： | 移动代理 Spi演算 计算机网络 网络安全 代理迁徙 服务器 非对称双向鉴证协议 |
| 文章编号： | 1006-2467(2002)09-1325-04 |
| 修稿时间： | 2001年9月1日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |