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

作者：解颜铭; 石曙东; 翁艳琴

来源：湖北师范学院学报(自然科学版), 2013, (01): 39-44.

• 串空间模型
• 认证测试方法
• DKNRP协议
• 电子邮件协议 strand space model
• authentication test methods
• DKNRP protocol
• the e-mail protocol

在安全协议的形式化分析方法中,串空间模型和基于串空间模型的协议认证分析方法是比较常用的验证方法。分析了DKNRP协议存在一定的缺陷,并提出一种新的电子邮件协议,基于扩展的串空间模型采用认证测试方法,验证了新协议可以满足其安全目标。

• 单位
  湖北师范大学