一种新的电子邮件协议及其形式化分析  

A new protocol for E-mail and its formal analysis

作　　者：解颜铭[1,2] 石曙东[2] 翁艳琴[1,2] 

机构地区：[1]湖北师范学院数学与统计学院,湖北黄石435002 [2]湖北师范学院计算机科学与技术学院,湖北黄石435002

出　　处：《湖北师范学院学报（自然科学版）》2013年第1期39-44,共6页Journal of Hubei Normal University(Natural Science)

基　　金：湖北省自然科学基金(2012FFB01801);湖北省教育厅重点项目(D20092203);湖北省教育厅青年项目(Q20102503)

摘　　要：在安全协议的形式化分析方法中,串空间模型和基于串空间模型的协议认证分析方法是比较常用的验证方法。分析了DKNRP协议存在一定的缺陷,并提出一种新的电子邮件协议,基于扩展的串空间模型采用认证测试方法,验证了新协议可以满足其安全目标。Among the formalized analysis methods of security protocol,the strand space model and the authentication test methods based on the strand space model are the commonly used methods.This paper analyzes the defects of DKNRP protocol,proposes a new e-mail protocol.Through the use of authentication test methods based on the extended strand space model,the new protocol can meet its security objectives.

关 键 词：串空间模型 认证测试方法 DKNRP协议 电子邮件协议 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]