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