北京工业大学

北京邮电大学、南京泰通科技有限公司

   面向联盟链智能合约安全监管需求，研究智能合约全生命周期中安全监管方案，实现创建、部署、执行、升级以及销毁等智能合约各阶段安全监管；研究智能合约本体多维安全验证方法，研究智能合约语法语义漏洞、逻辑漏洞及运行漏洞的检测模型；研究智能合约隐蔽安全验证方法，研究融合机器学习与数据挖掘方法的智能合约关联分析模型；开发基于三层架构的全体系可操作智能合约安全监管平台与高效灵活的监管引擎，集成融合智能合约全体系安全监管技术，以用户友好、操作简便的方式提供各种安全监管服务，实现监管的可操作性。

课题负责人：黄静

课题成果内容