改进的Kailar逻辑在协议分析中的应用

• 作者: 余昭平 张岚
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 电子商务 协议 可追究性 公平性 形式化分析
• 年，卷（期）: 2005,（32）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 118-120,148
• 页数: 4页
• 分类号: TP393.08
• 字数: 5393字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.32.038

摘要

通过对Kailar逻辑进行改进,提出了一种新的用于分析电子商务协议的形式化方法.新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力.该方法既能推导协议的可追究性又能分析协议的公平性,与其它的方法相比较,这一新方法既避免了Kailar逻辑的缺陷又能分析复杂的电子商务协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余昭平	解放军信息工程大学电子技术学院	41	241	8.0	14.0
2	张岚	解放军信息工程大学电子技术学院	2	7	1.0	2.0