基于Petri网的银行软件身份验证流程建模与分析  

Modeling and Analysis of Software Authentication Process of Bank Based on Petri Net

作　　者：张顺 方欢 ZHANG Shun;FANG Huan(School of Mathematics and Big Data,Anhui University of Science and Technology,Huainan 232001,Anhui,China)

机构地区：[1]安徽理工大学数学与大数据学院,安徽淮南232001

出　　处：《咸阳师范学院学报》2022年第4期15-19,共5页Journal of Xianyang Normal University

基　　金：国家自然科学基金项目(61902002);安徽省自然科学基金项目(1608085QF149);安徽省高校优秀青年人才基金项目(gxyqZD2018038);安徽省博士后基金项目(2018B288)。

摘　　要：针对Petri网在业务流程建模方面强大的描述分析功能,使用Petri网来描述和分析某银行软件的身份验证流程,来降低身份被冒用的风险。对某银行软件的身份验证流程建立Petri网模型,根据Petri网的基础理论和相关性质对该模型进行分析,并且使用关联矩阵和状态方程来分析网系统的活性和安全性,使用仿真工具PIPE对建立的模型进行验证。使用唯一可达向量网的方法来分析模型的可达性,减少了工作量。Aiming at the powerful description and analysis function of Petri net in business process modeling,Petri net is used to describe and analyze the authenticationprocess of bank software to reduce the risk of identity fraud.Firstly,a Petri net model is established for the authentication process of bank software,and then the model is analyzed according to the basic theory and related properties of Petri net.The only reachable vector net method is used to analyze the reachability of the model,which reduces the workload.The activity and security of the network system are analyzed by incidence matrix and state equation.Finally,the simulation tool pipe is used to verify the established model.

关 键 词：PETRI网 状态方程 身份验证 唯一可达向量网 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]