基于公钥的密码协议的形式化分析方法  

作　　者：王亮[1] 

机构地区：[1]苏州市草桥实验中学,江苏苏州215006

出　　处：《科技资讯》2009年第24期17-17,共1页Science & Technology Information

摘　　要：目前,基于密码技术的密码协议对于保证计算机网络安全起着十分重要的作用。这些密码协议的安全性直接影响着网络系统的安全性。形式化方法是一种当前较流行的用于分析密码协议安全性的方法。本文在形式化方法分析密码协议的基础上,对基于公钥的密码协议进行原型抽象和分类,给出了基于协议原型的协议设计方法,并通过实例方法说明此种协议设计方法。

关 键 词：密码协议 形式化方法 公钥密码协议 保密性 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]