非否认协议中认证保密性的设计与形式化分析

摘要：

探讨了非否认协议的保密性认证目标,用攻击的方法验证了A(0)协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了修改,提出了NA(0)协议;进一步运用SVO逻辑对NA(0)协议进行了形式化的分析,验证了NA(0)协议满足主体身份的认证性和会话密钥的保密性.

关键词：非否认协议、认证保密性、形式化分析、SVO逻辑

所属期刊栏目：35

分类号：TP3;TN9

资助基金：山东省科技攻关项目2007GG30003003

在线出版日期：2009-01-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：140-142