浙江工业大学程宏兵获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉浙江工业大学申请的专利一种基于HCPN的智能合约安全模式形式化与验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114626070B 。
龙图腾网通过国家知识产权局官网在2026-02-03发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210254594.3，技术领域涉及：G06F21/57；该发明授权一种基于HCPN的智能合约安全模式形式化与验证方法是由程宏兵;萨丽;应金益设计研发完成，并于2022-03-15向国家知识产权局提交的专利申请。
本一种基于HCPN的智能合约安全模式形式化与验证方法在说明书摘要公布了：本发明公开了一种基于HCPN的智能合约安全模式形式化与验证方法，将智能合约的安全模式采用提交展示方法转换为BPMN模型，通过预设映射规则，将BPMN模型转换为CPN模型，分析CPN模型生成第一状态空间报告；将智能合约源代码转换为HCPN模型，分析HCPN模型生成第二状态空间报告；分别将第一、第二状态空间报告描述为一组属性，使用ASK‑CTL公式将所述一组属性表述为一个SML函数，运行所述SML函数，根据运行结果验证所述智能合约是否遵循所述安全模式。本发明便于调查在智能合约环境中被滥用的安全模式，将原本不易的通过映射规则进行建模的方式变为自动建模过程。
本发明授权一种基于HCPN的智能合约安全模式形式化与验证方法在权利要求书中公布了：1.一种基于HCPN的智能合约安全模式形式化与验证方法，其特征在于，所述基于HCPN的智能合约安全模式形式化与验证方法，包括： 将智能合约的安全模式采用提交展示方法转换为BPMN模型，通过预设映射规则，将BPMN模型转换为CPN模型，分析CPN模型生成第一状态空间报告； 盲拍智能合约，将智能合约源代码转换为HCPN模型，分析HCPN模型生成第二状态空间报告； 分别将第一、第二状态空间报告描述为一组属性，使用ASK-CTL公式将所述一组属性表述为一个SML函数，运行所述SML函数，根据运行结果验证所述智能合约是否遵循所述安全模式； 其中，根据运行结果验证所述智能合约是否遵循所述安全模式，包括： 比较两个状态空间报告的SML函数运行结果，若结果相同，就认为智能合约遵循所述安全模式，否职认为安全模式是失败的，无法用于智能合约安全性验证。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江工业大学，其通讯地址为：310014 浙江省杭州市下城区潮王路18号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励