基于公钥的密码协议的形式化分析方法 |
| |
作者姓名: | 王亮 |
| |
作者单位: | 苏州市草桥实验中学,江苏苏州,215006 |
| |
摘 要: | 目前,基于密码技术的密码协议对于保证计算机网络安全起着十分重要的作用。这些密码协议的安全性直接影响着网络系统的安全性。形式化方法是一种当前较流行的用于分析密码协议安全性的方法。本文在形式化方法分析密码协议的基础上,对基于公钥的密码协议进行原型抽象和分类,给出了基于协议原型的协议设计方法,并通过实例方法说明此种协议设计方法。
|
关 键 词: | 密码协议 形式化方法 公钥密码协议 保密性 |
本文献已被 维普 万方数据 等数据库收录! |
|