公开(公告)号：CN109684838A

公开(公告)日：2019-04-26

申请号：CN201811404851.7

申请日：2018-11-23

Applicant: 电子科技大学

Inventor： 李洪伟 ,  谈辰 ,  刘森 ,  成艺 ,  龚丽 ,  杨浩淼 ,  任彦之

IPC: G06F21/56

Abstract: 本发明公开了一种在区块链的以太坊平台上针对智能合约的静态代码审计系统及方法，属于信息安全技术领域。本发明能够检测以太坊平台上使用Solidity语言编写的智能合约上存在的安全威胁，定位到具体位置，阐明危害并给出相应的解决方法。本发明方法：首先，用户将待检测的项目目录或者单个文件的路径输入系统，系统对输入内容进行预处理操作，将整个项目复制到临时工作目录中并删除其中的Solidity文件中的注释内容；其次，系统将通过词法分析和语法分析等操作将每一个Solidity文件都解析成语法树的形式；然后，系统将语法树结构与预先制定的逻辑匹配特征进行静态特征匹配，得到匹配结果；最后，系统将匹配后的结果分类并汇总，生成报告文件，即为检测结果。

公开(公告)号：CN109684838B

公开(公告)日：2020-03-27

申请号：CN201811404851.7

申请日：2018-11-23

Applicant: 电子科技大学

Inventor： 李洪伟 ,  谈辰 ,  刘森 ,  成艺 ,  龚丽 ,  杨浩淼 ,  任彦之

IPC: G06F21/56

Abstract: 本发明公开了一种在区块链的以太坊平台上针对智能合约的静态代码审计系统及方法，属于信息安全技术领域。本发明能够检测以太坊平台上使用Solidity语言编写的智能合约上存在的安全威胁，定位到具体位置，阐明危害并给出相应的解决方法。本发明方法：首先，用户将待检测的项目目录或者单个文件的路径输入系统，系统对输入内容进行预处理操作，将整个项目复制到临时工作目录中并删除其中的Solidity文件中的注释内容；其次，系统将通过词法分析和语法分析等操作将每一个Solidity文件都解析成语法树的形式；然后，系统将语法树结构与预先制定的逻辑匹配特征进行静态特征匹配，得到匹配结果；最后，系统将匹配后的结果分类并汇总，生成报告文件，即为检测结果。

公开(公告)号：CN105279411A

公开(公告)日：2016-01-27

申请号：CN201510609523.0

申请日：2015-09-22

Applicant: 电子科技大学

Inventor： 王瑞锦 ,  何兴高 ,  王昊 ,  李冬芬 ,  李萌 ,  谈辰 ,  李长青 ,  罗炜敏 ,  周玉阳 ,  项阳 ,  高强 ,  李婵娟

IPC: G06F21/32

CPC classification number: G06F21/32

Abstract: 本发明提供了一个基于步态生物特征的移动设备身份认证方法，该方法结合移动端，是现有生物识别技术的完善与拓展。此方法由两部分组成，分别为训练模块和识别模块。训练模块分为数据采集、特征提取和建立模型三个步骤；识别模块分为收集待识别用户数据、模型匹配和通知响应。本方法利用移动终端本身的功能与便利，进行数据完整采集，搭建出科学的数学基础模型，得到用户的步态信息，保证了用户唯一性。系统采用国密SMS4对称加密算法进行加密，很好的保障了数据的传输安全。本方法优势在于，充分利用了移动设备丰富的传感器和网络功能，建模过程与用户日常步态结合，不用刻意操作即可不断完善。相比于其他识别方式，安全系统隐蔽性较强，不易被针对。同时无需接触，难以隐蔽，可远距离进行识别，极大程度上提高了用户安全保障。