一种电子商务协议形式化分析方法

• 作者: 卿斯汉
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 形式化分析 电子商务协议 可追究性 公平性 可信第三方
• 年，卷（期）: 2005,（10）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 1757-1765
• 页数: 9页
• 分类号: TP309
• 字数: 6774字
• 语种: 中文

摘要

提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分为3类:基本假设集合、可信假设集合和协议理解假设集合,避免了因非形式化的初始假设而产生的分析错误;(3)对可信假设作细粒度的形式化规范,揭示协议的内涵;(4)建立公理系统,使新方法更为严格与合理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卿斯汉		12	1028	10.0	12.0