公开(公告)号：CN117557835A

公开(公告)日：2024-02-13

申请号：CN202311448765.7

申请日：2023-11-02

Applicant: 浙江大学

Inventor： 王竟亦 ,  马迦南 ,  王东霞 ,  王震 ,  王文海

IPC: G06V10/764 ,  G06V10/774 ,  G06V10/82 ,  G06N3/0499 ,  G06N3/08

Abstract: 本发明公开了一种基于形式化验证的图像分类神经网络后门移除方法及装置。本发明提出了修复重要性这一度量，以更精确的找到神经网络内部与后门行为密切相关的问题神经元。同时使用形式化验证工具对修复重要性进行近似计算，相对基于采样的计算方式，不会遗漏关键区域，提高了定位精度。本发明通过对神经元范围的精细化，进一步提高了形式化验证工具的精度，降低了修复重要性求解误差。并且设计了可以与待修复神经元等效替换的微型网络结构和对应的损失函数。在移除网络内部漏洞的同时有效维持了网络的原始性能。

公开(公告)号：CN113676375B

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

申请号：CN202110932561.5

申请日：2021-08-13

Applicant: 浙江大学 ,  北京天地和兴科技有限公司

Inventor： 车欣 ,  汪慕峰 ,  孙铭阳 ,  邓瑞龙 ,  王竟亦 ,  王东霞 ,  赵成成 ,  程鹏 ,  王文海 ,  杨小帅

IPC: H04L43/18 ,  H04L43/16 ,  H04L41/142 ,  H04L67/12

Abstract: 本发明公开了一种工业控制系统私有协议结构解析方法，其步骤为：S1：获取工控私有协议数据集；S2：统计数据集的必要信息，包括数据集中数据包数量，数据包的最大字节长度，并生成数据包各字节偏移集合Bi；S3：计算信息熵H(Bi)、联合信息熵H(Bi,Bi+1)和互信息I(Bi；Bi+1)；S4：计算数据集中第i和第i+1两个相邻字节的互信息率MIR(Bi；Bi+1)；S5：依据本发明提出的四条得分规则，计算出所有字节的得分数组；S6：统计、存储并输出最终字节关系数组。本发明只需要获取工业控制系统的私有协议通信数据包，便能够自动化解析私有协议的结构，不会对设备的正常使用造成任何影响，使得对业控制系统私有协议结构解析变得简单高效。

公开(公告)号：CN113676375A

公开(公告)日：2021-11-19

申请号：CN202110932561.5

申请日：2021-08-13

Applicant: 浙江大学 ,  北京天地和兴科技有限公司

Inventor： 车欣 ,  汪慕峰 ,  孙铭阳 ,  邓瑞龙 ,  王竟亦 ,  王东霞 ,  赵成成 ,  程鹏 ,  王文海 ,  杨小帅

IPC: H04L12/26 ,  H04L12/24 ,  H04L29/08

Abstract: 本发明公开了一种工业控制系统私有协议结构解析方法，其步骤为：S1：获取工控私有协议数据集；S2：统计数据集的必要信息，包括数据集中数据包数量，数据包的最大字节长度，并生成数据包各字节偏移集合Bi；S3：计算信息熵H(Bi)、联合信息熵H(Bi,Bi+1)和互信息I(Bi；Bi+1)；S4：计算数据集中第i和第i+1两个相邻字节的互信息率MIR(Bi；Bi+1)；S5：依据本发明提出的四条得分规则，计算出所有字节的得分数组；S6：统计、存储并输出最终字节关系数组。本发明只需要获取工业控制系统的私有协议通信数据包，便能够自动化解析私有协议的结构，不会对设备的正常使用造成任何影响，使得对业控制系统私有协议结构解析变得简单高效。

公开(公告)号：CN119996090A

公开(公告)日：2025-05-13

申请号：CN202510473963.1

申请日：2025-04-16

Applicant: 浙江大学

Inventor： 王竟亦 ,  徐欣瑶 ,  王文海 ,  王东霞

IPC: H04L9/40 ,  H04L9/00

Abstract: 本发明公开了一种基于量化语义规约的区块链攻击的检测方法和装置，该方法包括：定义以太坊攻击建模的形式化规约的MFTOL语言的子集，定义了规约中包含的逻辑运算符和最小原子公式；为最小原子公式中的基本事件、高级事件以及参数比较运算符附加自适应的权重，从而量化每个最小原子公式对推断检测结果的重要性程度；为提出的MFOTL语言子集中的逻辑运算符定义量化公式，形成完整的攻击规约的量化计算方法；根据量化的攻击规约计算以太坊交易语义日志中量化结果最大值，确定是否存在目标交易被用于预定义的攻击的风险。与定性的规约检测结果相比，本发明提出的定量的以太坊攻击规约能覆盖更多的攻击交易，并具备检测到未遂攻击的能力。

公开(公告)号：CN117789189A

公开(公告)日：2024-03-29

申请号：CN202311781171.8

申请日：2023-12-22

Applicant: 浙江大学

Inventor： 王东霞 ,  徐智鸿 ,  任奎 ,  王文海

IPC: G06V20/62 ,  G06V10/25 ,  G06V10/774 ,  G06V10/50 ,  G06V10/82

Abstract: 本发明公开了一种基于透视变换和多重融合后处理网络的车牌篡改数据生成方法。本发明方法将随机选取的车辆图片，输入到预训练的车牌目标检测模型中，利用返回的车牌顶点坐标得到车牌所在区域，设计基于图像透视变换的车牌替换策略，以实现不同视角和不同环境下的车牌替换，在替换基础上设计并训练一个多重融合后处理网络保证替换车牌与背景图片的兼容性，增强伪造数据的真实性，最后批量生成篡改车牌及其标注数据，形成车牌篡改数据集。本发明实现了一种不需要人工篡改的高效率高真实度的车牌篡改图像数据集扩充方法。