|
|||||
|
|
| 基于π-演算的安全协议描述与验证 | |
| 引用本文： | 江华,谭新星,李祥.基于π-演算的安全协议描述与验证[J].韶关学院学报,2008,29(3):5-9. |
| 作者姓名： | 江华 谭新星 李祥 |
| 作者单位： | 1. 韶关学院计算机系,广东,韶关,512005;贵州大学计算机理论与软件研究所,贵州,贵阳,550025 2. 韶关学院,外语学院,广东,韶关,512005 3. 贵州大学计算机理论与软件研究所,贵州,贵阳,550025 |
| 摘 要： | π-演算是以进程间移动通信为研究重点的并发理论，本文扼要叙述π-演算的基本概念，论述了如何用π-演算描述和验证安全协议，具体以Station-to-Station协议的一个不完全版本为例进行了分析，发现并在π-演算的工具MWB中证实了协议中存在的一个攻击，分析受到攻击的原因并给出了协议的改进版本． |
| 关 键 词： | π-演算 密码协议 Station-to-Station协议 |
| 文章编号： | 1007-5348(2008)03-0005-05 |
| 修稿时间： | 2007年12月20 |
| 本文献已被 维普 万方数据 等数据库收录！ | |