SET协议的持卡人匿名性分析

• 作者: 叶红 袁志祥
• 来源期刊: 安徽工业大学学报（自然科学版）
• 关键词: 信念Pcui网 SET协议 匿名性 信念逻辑
• 年，卷（期）: 2010,（2）
• 页码范围: 200-205
• 页数: 6页
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7872.2010.02.022

摘要

针对电子商务协议的Petri网模型中出现无法描述和演绎其逻辑推理过程的缺点.在传统Petri网基础上提出一种适合描述电子商务协议的信念Petri网.信念Petri网验证分析过程是先将电子商务协议或安全协议的协议规则分解成原始序列,对协议实体构造Petri网模型,对信道进行安全分析.以SET协议为分析对象,利用信念Petri网对SET协议的持卡人匿名性进行分析,结果说明SET协议的持卡人的隐私信息得到有效保护.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁志祥	安徽工业大学计算机学院	33	149	7.0	10.0
2	叶红	安徽工业大学计算机学院	7	33	3.0	5.0