期刊文章详细信息
基于公钥的密码协议的形式化分析方法
文献类型：期刊文章
机构地区：[1]苏州市草桥实验中学,江苏苏州215006
年 份：2009
卷 号：7
期 号：24
起止页码：17-17
语 种：中文
收录情况：JST、NSSD、普通刊
摘 要：目前,基于密码技术的密码协议对于保证计算机网络安全起着十分重要的作用。这些密码协议的安全性直接影响着网络系统的安全性。形式化方法是一种当前较流行的用于分析密码协议安全性的方法。本文在形式化方法分析密码协议的基础上,对基于公钥的密码协议进行原型抽象和分类,给出了基于协议原型的协议设计方法,并通过实例方法说明此种协议设计方法。
关 键 词：密码协议 形式化方法 公钥密码协议 保密性
分 类 号：TP3[计算机类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
