In this paper, we are proposed a detected risk system after analyzed SET protocol using the Petri nets. We are shown the risk and detected points in SET protocol after checked the flow diagram of each functions in SET. We show 5 levels for detect and show a protect each models as authority level, purchase request, payment authorization and settlement exchange level, respectively. We used Visual Object Net++ for analyze the properties of Petri nets model.
展开▼
机译:在本文中,我们在使用Petri网分析了设置协议后,我们被检测到的风险系统。在检查集合中的每个功能的流程图之后,我们显示了设置协议中的风险和检测点。我们显示5个级别的检测,并显示保护每个模型的保护,分别保护每个模型,购买请求,付款授权和结算交换水平。我们使用Visual Object Net ++来分析Petri网模型的属性。
展开▼