公开(公告)号：CN113176977B

公开(公告)日：2024-10-18

申请号：CN202110464020.4

申请日：2021-04-27

申请人： 南开大学 ,  赛尔网络有限公司

发明人： 靳宗明 ,  卢冶 ,  谢学说 ,  简兆龙 ,  李涛

IPC分类号： G06F11/30 ,  G06F16/18

摘要： 本发明提供了一种构建物联网工作流的交错日志分析方法，包括以下步骤：日志文件中，在每个日志条目后设置长度为N的窗口，窗口覆盖日志条目后方相邻的N个后继日志条目；窗口的N值人为确定；计算在前日志条目与其后窗口中的每个后继日志条目之间的依赖值；设定过滤阈值，若联合依赖值大于过滤阈值，则对应后继日志条目为在前日志条目的真实后继条目。本发明在交错日志中构建工作流模型时避免了日志中标识信息的使用，具有广泛的适用性，同时解决了由日志交错带来的上下文丢失和噪声问题。

公开(公告)号：CN113176977A

公开(公告)日：2021-07-27

申请号：CN202110464020.4

申请日：2021-04-27

申请人： 南开大学 ,  赛尔网络有限公司

发明人： 靳宗明 ,  卢冶 ,  谢学说 ,  简兆龙 ,  李涛

IPC分类号： G06F11/30 ,  G06F16/18

摘要： 本发明提供了一种构建物联网工作流的交错日志分析方法，包括以下步骤：日志文件中，在每个日志条目后设置长度为N的窗口，窗口覆盖日志条目后方相邻的N个后继日志条目；窗口的N值人为确定；计算在前日志条目与其后窗口中的每个后继日志条目之间的依赖值；设定过滤阈值，若联合依赖值大于过滤阈值，则对应后继日志条目为在前日志条目的真实后继条目。本发明在交错日志中构建工作流模型时避免了日志中标识信息的使用，具有广泛的适用性，同时解决了由日志交错带来的上下文丢失和噪声问题。

公开(公告)号：CN114594929A

公开(公告)日：2022-06-07

申请号：CN202210103618.5

申请日：2022-01-27

申请人： 之江实验室 ,  南开大学

发明人： 简兆龙 ,  谢学说 ,  卢冶 ,  李涛 ,  万志国

IPC分类号： G06F8/20 ,  G06F8/41 ,  G06F8/71 ,  G06F21/60 ,  G06F16/27 ,  G06Q40/04

摘要： 本发明提供了一种基于TrustZone的Solidity语言智能合约可信执行引擎，包括解释器、指令集、数据段和预取数据段，所述解释器分别与所述指令集、数据段和预取数据段连接，所述数据段与预取数据段连接，所述解释器，用于从合约字节码中取出指令，并进行指令的解释和执行，所述指令集描述了指令的操作码到功能函数的映射，所述数据段，用于存储智能合约执行过程中的中间数据，所述预取数据段，用于存储智能合约执行过程中用到的合约字节码、交易参数、函数输入参数和合约持久化存储数据。本发明为Solidity语言智能合约字节码提供正确的解释执行功能，并根据TrustZone执行机制提供执行效率和内存消耗的优化。

公开(公告)号：CN116095199A

公开(公告)日：2023-05-09

申请号：CN202310114864.5

申请日：2023-02-15

申请人： 天津大学 ,  南开大学

发明人： 周炳锟 ,  简兆龙 ,  李涛 ,  李幼萌

IPC分类号： H04L69/18 ,  H04L69/30 ,  H04L67/12

摘要： 本发明提供了一种基于FPGA的多协议接入装置，属于物联网系统领域，包括接口层、协议层和控制层，接口层与外部射频模块连接，在外部射频模块和协议层间传输数据包；协议层对数据包进行有效载荷封装和协议抽象，将其传递至控制层，并接收控制层的反馈指令，将封装和协议抽象后的有效载荷处理成数据包，将其传递至接口层；控制层将有效数据载荷传递至处理器，并接收处理器控制指令，向协议层下发反馈指令。本发明能够支持基于各种通信协议的射频模块的动态接入和控制，并在模型中对各个物联网通讯协议进行了封装，提供统一的操作接口，实现了各通讯协议的兼容，各射频模块通过处理器进行统一控制，使得物联网的网络资源的动态负载均衡成为可能。

公开(公告)号：CN115758388A

公开(公告)日：2023-03-07

申请号：CN202211540037.4

申请日：2022-11-30

申请人： 浙江大学 ,  南开大学

发明人： 王昊龙 ,  谢学说 ,  简兆龙 ,  李涛 ,  任奎

IPC分类号： G06F21/57

摘要： 本发明提供了一种基于低维字节码特征的智能合约的漏洞检测方法，包括以下步骤：通过以太坊智能合约字节码构建操作码序列控制流图；记录操作码序列控制流图中各个基本块并编号，然后遍历每个基本块所关联的边，建立邻接矩阵；基于邻接矩阵，获取操作码序列控制流图的特征，分别是边数、节点数、最大出度和最大入度，获取漏洞类别及与其可能相关的操作码类别，将操作码序列中每类所述操作码所占操作码总数的比例作为特征；将特征进行归一化，然后作为输入，漏洞类别作为输出，对机器学习模型进行训练；使用训练好的机器学习模型进行漏洞检测。本发明有效提高了机器学习模型的检测效率和问题合约的分析解释能力。

公开(公告)号：CN118468285A

公开(公告)日：2024-08-09

申请号：CN202410595489.5

申请日：2024-05-14

申请人： 南开大学

发明人： 杨金妮 ,  李时 ,  简兆龙 ,  卢冶

IPC分类号： G06F21/57 ,  G06F21/53 ,  G06F21/76

摘要： 本发明公开了一种面向FPGA的可信执行环境边界拓展方法，包括以下三部分：1、针对主机端到FPGA设备的控制流与数据流传输，构建系统控制通路与数据通路，包括系统安全启动及身份认证和可信I/O通道构建；2、针对异构可信计算任务的计算模式与安全需求，实行计算及存储资源分级隔离与共享，包括安全边界物理强隔离、应用间内存隔离和进程间内存隔离共享；3、针对常用应用的运行特征进行统计与调查，采用包含应用特征的弹性拓展方案，包括应用计算及访存行为研究与调查、硬件资源及计算模式封装和高频算子库构建。本发明实现控制与计算分离的设计，建立了灵活、高效的异构可信执行环境，解决了处理器可信执行环境与异构计算设备割裂的问题。