典型文献
基于Petri网的银行软件身份验证流程建模与分析
文献摘要：
针对Petri网在业务流程建模方面强大的描述分析功能,使用Petri网来描述和分析某银行软件的身份验证流程,来降低身份被冒用的风险.对某银行软件的身份验证流程建立Petri网模型,根据Petri网的基础理论和相关性质对该模型进行分析,并且使用关联矩阵和状态方程来分析网系统的活性和安全性,使用仿真工具PIPE对建立的模型进行验证.使用唯一可达向量网的方法来分析模型的可达性,减少了工作量.
文献关键词：
Petri网;状态方程;身份验证;唯一可达向量网
中图分类号：
作者姓名：
张顺;方欢
作者机构：
安徽理工大学 数学与大数据学院,安徽 淮南 232001
文献出处：
引用格式：
[1]张顺;方欢-.基于Petri网的银行软件身份验证流程建模与分析)[J].咸阳师范学院学报,2022(04):15-19
A类：
唯一可达向量网
B类：
Petri,身份验证,验证流程,流程建模,建模与分析,在业,业务流程,来降,冒用,关联矩阵,矩阵和,状态方程,仿真工具,PIPE,可达性
AB值：
0.345515
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
