一种基于HCPN的智能合约安全模式形式化与验证方法

摘要

本发明公开了一种基于HCPN的智能合约安全模式形式化与验证方法，将智能合约的安全模式采用提交展示方法转换为BPMN模型，通过预设映射规则，将BPMN模型转换为CPN模型，分析CPN模型生成第一状态空间报告；将智能合约源代码转换为HCPN模型，分析HCPN模型生成第二状态空间报告；分别将第一、第二状态空间报告描述为一组属性，使用ASK‑CTL公式将所述一组属性表述为一个SML函数，运行所述SML函数，根据运行结果验证所述智能合约是否遵循所述安全模式。本发明便于调查在智能合约环境中被滥用的安全模式，将原本不易的通过映射规则进行建模的方式变为自动建模过程。