龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：北京大学
摘要：本发明公开一种针对链上数字内容合约的安全审计方法及系统，属于区块链技术领域。所述方法包括：生成待检测智能合约的控制流图；使用符号化变量执行该控制流图中的每个分支，并在获取每个潜在交易的执行中间信息的同时，完善所述控制流图以及得到变量依赖关系；基于所述执行中间信息生成每个潜在交易的摘要信息；基于摘要信息、完善后的控制流图及所述变量依赖关系进行漏洞检测，得到该待检测智能合约的漏洞信息。本发明能够自动化识别数字内容状态迁移合约和数字内容业务逻辑合约中的多种漏洞。
主权项：1.一种针对链上数字内容合约的安全审计方法，其特征在于，所述方法包括：生成待检测智能合约的控制流图；使用符号化变量执行该控制流图中的每个分支，并在获取每个潜在交易的执行中间信息的同时，完善所述控制流图以及得到变量依赖关系；基于所述执行中间信息生成每个潜在交易的摘要信息；基于摘要信息、完善后的控制流图及所述变量依赖关系进行漏洞检测，得到该待检测智能合约的漏洞信息。
全文数据：
权利要求：
百度查询： 北京大学 针对链上数字内容合约的安全审计方法及系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号