10.3969/j.issn.1000-1220.2004.12.031
一种新型的安全协议分析逻辑
提出了一种新的形式化分析逻辑, 可用于分析协议的安全性.它有3个优点:(1)能分析协议的可追究性,(2)能分析协议的公平性,(3)能有效的分析协议能否抵御重放攻击,(4)增加了密文理解规则, 能够有效地分析包含有签过名的加密公式的消息.
Kailar逻辑、电子商务、协议、协议分析
25
TP309(计算技术、计算机技术)
国家高技术研究发展计划863计划863-301-06-1;湖北省教育厅科研项目2004D004
2005-01-04(万方平台首次上网日期,不代表论文的发表时间)
共4页
2182-2185