-
公开(公告)号：CN112836217B
公开(公告)日：2023-02-10
申请号：CN202110036603.7
申请日：2021-01-12
申请人： 清华大学深圳国际研究生院
摘要： 本发明公开了一种基于SGX的动态减小TCB的区块链虚拟机方法及系统，结合污点分析技术，动态地减小TCB，降低代码风险，在方案中融入污点分析，根据智能合约源代码，自动定位智能合约中的涉及敏感数据的敏感代码语句，并获取敏感代码语句对应的虚拟机操作码。在获取敏感和非敏感虚拟机操作码后，选择模块将会根据敏感/非敏感操作码选择对应的运行在虚拟机中的C++函数。虚拟机模块将会根据智能合约编译后的字节码执行用户的请求，对于涉及敏感数据的操作码，将会在SGX提供的可信任执行环境Enclave中执行，不涉及敏感数据的操作码，将会在Enclave外部运行，以此减小TCB。
-
公开(公告)号：CN112836217A
公开(公告)日：2021-05-25
申请号：CN202110036603.7
申请日：2021-01-12
申请人： 清华大学深圳国际研究生院
摘要： 本发明公开了一种基于SGX的动态减小TCB的区块链虚拟机方法及系统，结合污点分析技术，动态地减小TCB，降低代码风险，在方案中融入污点分析，根据智能合约源代码，自动定位智能合约中的涉及敏感数据的敏感代码语句，并获取敏感代码语句对应的虚拟机操作码。在获取敏感和非敏感虚拟机操作码后，选择模块将会根据敏感/非敏感操作码选择对应的运行在虚拟机中的C++函数。虚拟机模块将会根据智能合约编译后的字节码执行用户的请求，对于涉及敏感数据的操作码，将会在SGX提供的可信任执行环境Enclave中执行，不涉及敏感数据的操作码，将会在Enclave外部运行，以此减小TCB。
-
公开(公告)号：CN112463638A
公开(公告)日：2021-03-09
申请号：CN202011459487.1
申请日：2020-12-11
申请人： 清华大学深圳国际研究生院
摘要： 本发明提供一种基于神经网络的模糊测试方法及计算机可读存储介质，方法包括：改进模糊测试工具中的边的哈希计算过程使得每条所述边的哈希值不同，得到改进后的模糊测试工具；基于所述改进后模糊测试工具生成的覆盖信息作为训练集对神经网络进行训练；依据临近边信息挑选出 对，利用训练完成的所述神经网络计算出该输出神经元对输入的梯度，并根据所述梯度的绝对值的大小确定输入中的关键字节，从而对关键字节进行变异生成测试用例集合；使用所述测试用例集进行模糊测试。从而实现了以较小的资源开销探索了程序状态信息。
-
公开(公告)号：CN116860593A
公开(公告)日：2023-10-10
申请号：CN202310043932.3
申请日：2023-01-29
申请人： 清华大学深圳国际研究生院
摘要： 本发明公开了一种针对多种漏洞的模糊测试方法，包括：S1、对以多种漏洞为导向的目标程序进行插桩编译；S2、通过基于种子组列队的针对模糊测试核心环节进行多目标优化后，将变异的种子输入至已插桩编译的目标程序并运行多目标模糊测试；S3、根据目标程序的状态和多目标模糊测试运行结果进行相应处理；S4、在多目标模糊测试运行结束后，对收集到的异常种子进行整理和过滤，并对过滤去重后的种子进行潜在漏洞分析和定位。本发明能够获取额外的漏洞相关的程序行为和状态信息；同时能够进行多目标模糊测试，从而使得模糊测试工具能够更加高效地进行多目标模糊测试并找到多种潜在漏洞；在不影响效率前提下，对于多种漏洞的挖掘有更强的针对性。
-
公开(公告)号：CN112990261B
公开(公告)日：2023-06-09
申请号：CN202110163294.X
申请日：2021-02-05
申请人： 清华大学深圳国际研究生院
IPC分类号： G06F18/24 , G06F21/32 , G06F18/214
摘要： 本发明公开了一种基于敲击节奏的智能手表用户识别方法，从敲击节奏训练数据中提取特征，构造特征向量；利用One‑class DBSCAN算法来训练模型，得出核心对象集；计算新样本特征向量与每个核心对象之间的欧氏距离，以识别该新样本是否属于核心向量的类。本发明针对智能手表缺乏合适的用户识别导致的隐私问题，提出了一种新的基于敲击节奏的智能手表用户识别方法，并提出了一种新的一类分类算法One‑class DBSCAN，本发明适用于智能手表较小的屏幕以及低功耗的设定，新的一类分类算法One‑class DBSCAN可以在训练数据只有一类的情况下准确地判断新样本是否属于当前类。
-
公开(公告)号：CN116069656A
公开(公告)日：2023-05-05
申请号：CN202310138337.8
申请日：2023-02-20
申请人： 清华大学深圳国际研究生院
摘要： 本发明公开了一种以漏洞为导向的高效区域模糊测试方法，包括如下步骤：S1、对以漏洞为导向的目标程序进行插桩编译，得到包含代码覆盖信息以及潜在漏洞位置信息的插桩后的目标程序；S2、通过基于种子选择的模糊测试核心环节对插桩后的目标程序运行区域模糊测试；S3、根据区域模糊测试运行结果进行相应处理；S4、在区域模糊测试运行结束后，对目标种子进行筛选去重，并对筛选去重后的种子进行潜在漏洞分析。本发明能够在保持覆盖率基本不变的同时有效降低区域模糊测试过程中种子队列中种子的数量，降低了模糊测试的开销，进而提升模糊测试的效率。
-
公开(公告)号：CN112270174B
公开(公告)日：2022-04-29
申请号：CN202011245739.0
申请日：2020-11-10
申请人： 清华大学深圳国际研究生院
IPC分类号： G06F40/216 , G06F16/31 , G06K9/62 , G06N3/04
摘要： 本发明提供一种谣言检测方法及计算机可读存储介质，方法包括：对于社交平台上的每一条动态，收集动态所有的回复和/或转发，将动态视作一个节点，则动态回复和/或转发为所述动态的子节点，节点和所述子节点构成一棵传播树；确定传播树中各个节点包含的子节点的数目并从多到少排序，依序选取至少一个节点与其所包含的子节点构成传播树的关键子树；关键子树中的根节点为源节点；基于每个关键子树中每个节点和每个子节点的原始数据计算所述传播树特征，特征包括文本内容相关特征、用户相关特征、传播结构相关特征；构建SLS神经网络模型用于学习特征；训练SLS神经网络模型并对社交平台上的动态进行谣言检测。提高谣言检测任务的分类准确度。
-
公开(公告)号：CN116012663A
公开(公告)日：2023-04-25
申请号：CN202211539264.5
申请日：2022-12-01
申请人： 清华大学深圳国际研究生院
IPC分类号： G06V10/774 , G06V10/764 , G06V20/40 , G06F21/60 , G06V10/56
摘要： 本发明公开了一种基于风格迁移的黑盒视频对抗攻击方法，包括如下步骤：设计风格数据集，并为干净视频选择最优风格图像；根据最优风格图像对干净视频进行视频风格迁移得到风格化视频；对风格化视频进行梯度估计，并迭代更新，输出对抗视频。本发明通过根据最优风格图像对干净视频进行视频风格迁移得到风格化视频，对风格化视频进行梯度估计，并迭代更新的设置，有利于维持对抗视频的感官舒适度与降低所需要的查询次数；通过考虑语义不变的无限制对抗扰动，提高了黑盒攻击效率，并可以绕过现有的对抗防御方法，是一种低成本、高效、实用的新型视频攻击方法。
-
公开(公告)号：CN114444084A
公开(公告)日：2022-05-06
申请号：CN202210020119.X
申请日：2022-01-10
申请人： 清华大学深圳国际研究生院
摘要： 本发明提供一种模糊测试方法及计算机可读存储介质，方法包括：生成突变输入时包括如下步骤：S1：对种子队列中每个种子执行字节分析以识别与验证检查相关的字节，所述字节分析包括对所述种子中所有所述字节尝试突变，根据所述突变输入的路径变化情况得到所述字节的分数值；S2：根据所述字节的所述分数值确定是否对所述字节进行突变。本发明使用一种新颖的轻量级突变策略来增加生成合法突变输入的可能性；进一步地，在相同的时间内实现更大的代码覆盖率，提高模糊测试效率。
-
公开(公告)号：CN113329368B
公开(公告)日：2022-03-25
申请号：CN202110630958.9
申请日：2021-06-07
申请人： 清华大学深圳国际研究生院
摘要： 本发明提出一种基于亲和传播算法的路由分簇方法及装置，方法包括根据接收到的信标消息和车辆节点所处的状态，每个车辆节点周期性的执行分簇流程，分簇流程包括步骤：S1、车辆节点通过广播信标消息的方式来通告自己的分簇参数指标，与此同时，接收来自邻居车辆节点的信标消息来获得其它车辆节点的分簇参数指标，并且，通过信标消息识别单跳距离内速度和方向相似的车辆，为车辆节点建立邻居列表；S2、车辆节点依据其当前所处的状态，从簇头选择策略、簇形成策略和簇维护策略中选择一个执行，获得分簇的结果；S3、车辆节点在需要时通过数据消息与目标车辆节点通信。本发明能够在适当的路由开销下实现较好的簇稳定性和通信性能。
-
-
-
-
-
-
-
-
-
搜索结果
15 条记录 (耗时 0.03 秒)
